Merge pull request #442 from ucb-bar/fix-firemarshal-move

Fix firemarshal move
This commit is contained in:
Sagar Karandikar
2020-02-20 14:17:54 -08:00
committed by GitHub