Merge pull request #353 from ucb-bar/bump-boom

Bump BOOM
This commit is contained in:
Abraham Gonzalez
2019-12-05 13:38:05 -08:00
committed by GitHub