From ddd35d3bb0750a7d22645812c62176ae1bd68a4c Mon Sep 17 00:00:00 2001 From: Eric Myllyoja Date: Thu, 9 Jun 2022 00:12:37 -0400 Subject: [PATCH] Updated Polymod to fix several breaking script bugs. --- hmm.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hmm.json b/hmm.json index 984f54166..18062d231 100644 --- a/hmm.json +++ b/hmm.json @@ -62,7 +62,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "c858b48", + "ref": "cd4600c", "url": "https://github.com/larsiusprime/polymod" }, {