Update Polymod to fix lag issues

2025-03-21 17:39:20 +00:00 · 2023-07-22 20:18:06 -04:00 · 2023-07-22 20:18:06 -04:00 · 92f3a4823d
parent d251d71daa
commit 92f3a4823d
1 changed files with 1 additions and 1 deletions
--- a/hmm.json
+++ b/hmm.json
@ -109,7 +109,7 @@
      "name": "polymod",
      "type": "git",
      "dir": null,
-      "ref": "491fd0e",
+      "ref": "631a363",
      "url": "https://github.com/larsiusprime/polymod"
    },
    {