From 2ba2aab2e3e6318f22e6a3227fd97e5a5c997449 Mon Sep 17 00:00:00 2001 From: EliteMasterEric Date: Thu, 3 Aug 2023 12:55:29 -0400 Subject: [PATCH] Update Polymod --- hmm.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hmm.json b/hmm.json index 7c23f2880..c9dc959c7 100644 --- a/hmm.json +++ b/hmm.json @@ -109,7 +109,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "631a3637f30997e47cd37bbab3cb6a75636a4b2a", + "ref": "bb82bfe040965dd55c3b48cb8a3008afdc101ce7", "url": "https://github.com/larsiusprime/polymod" }, {