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

Bump hammer, which now has its own readthedocs
This commit is contained in:
Sagar Karandikar
2019-10-11 06:26:17 -07:00
committed by GitHub