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

Bump FireMarshal
This commit is contained in:
Abraham Gonzalez
2022-12-13 15:42:00 -08:00
committed by GitHub