From fccfcaefb22f6543316c3e3b7f9bae30ebefb15f Mon Sep 17 00:00:00 2001 From: Cameron Taylor Date: Mon, 23 Jan 2023 23:40:15 -0500 Subject: [PATCH] polymod lol --- hmm.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hmm.json b/hmm.json index 0d66fb703..b62ec3cb9 100644 --- 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" }, {