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

Bump boom
This commit is contained in:
Abraham Gonzalez
2019-06-01 16:30:45 -07:00
committed by GitHub