polymod lol

2023-01-23 23:40:15 -05:00 · 2023-01-23 23:40:15 -05:00 · fccfcaefb2
parent 6e019c1785
commit fccfcaefb2
1 changed files with 1 additions and 1 deletions
--- a/hmm.json
+++ b/hmm.json
@ -94,7 +94,7 @@
            "name": "polymod",
            "type": "git",
            "dir": null,
-            "ref": "547c8ee",
+            "ref": "4e5b4b3",
            "url": "https://github.com/larsiusprime/polymod"
        },
        {