Bump hammer, which now includes readthedocs

2019-10-11 01:47:03 -07:00 · 2019-10-11 01:47:03 -07:00 · 477124c9f7
parent 1f2ee7fc59
commit 477124c9f7
1 changed files with 1 additions and 1 deletions
--- a/vlsi/hammer
+++ b/vlsi/hammer
@ -1 +1 @@
-Subproject commit 3bda9f5d12b3595d42f59fa0acaeb1c0bc2ef2a9
+Subproject commit 85c12e98e63d599f5267c7711a24c174d74974c5