From 33d1fd578e23c38c81981082310ed57b0c4ff7b5 Mon Sep 17 00:00:00 2001 From: Hundrec Date: Fri, 6 Feb 2026 01:14:17 -0700 Subject: [PATCH] Bump Polymod again to fix error on Web --- hmm.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hmm.json b/hmm.json index 16a0521aa..1ca1d5ba9 100644 --- a/hmm.json +++ b/hmm.json @@ -190,7 +190,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "fd691bff47a298b2e6d10a34000b29730c17fc69", + "ref": "c2e14cb465405f3696b4c7f3aae83d50f069ae5b", "url": "https://github.com/larsiusprime/polymod" }, {