Merge pull request #437 from ucb-bar/bumpMarshal

bump firemarshal to dev.
This commit is contained in:
Sagar Karandikar
2020-02-17 13:30:39 -08:00
committed by GitHub