Skip to content

Commit

Permalink
Merge pull request #1903 from ucb-bar/bump-fm
Browse files Browse the repository at this point in the history
Bump FireMarshal
  • Loading branch information
abejgonzalez authored Jun 19, 2024
2 parents 7f5b6a9 + ca20f0b commit 8fcd98d
Showing 1 changed file with 1 addition and 1 deletion.