Update Polymod to fix several bugs on web

2025-04-10 14:24:56 +00:00 · 2024-03-18 22:27:19 -04:00 · 2024-03-18 22:27:19 -04:00 · a8ebdc5ee8
parent 4c35b1d74f
commit a8ebdc5ee8
1 changed files with 1 additions and 1 deletions
--- a/hmm.json
+++ b/hmm.json
@ -146,7 +146,7 @@
      "name": "polymod",
      "type": "git",
      "dir": null,
-      "ref": "be712450e5d3ba446008884921bb56873b299a64",
+      "ref": "6d1bdf79b463ca0baa8471dfc6873ab7701c46ee",
      "url": "https://github.com/larsiusprime/polymod"
    },
    {