Merge pull request #1556 from ucb-bar/bump-firemarshal

Bump FireMarshal
This commit is contained in:
Abraham Gonzalez
2023-07-12 14:20:28 -07:00
committed by GitHub