Merge pull request #286 from ucb-bar/hammer-bump

Move hammer's submodule pointer to its master branch
This commit is contained in:
Sagar Karandikar
2019-10-10 22:45:17 -07:00
committed by GitHub