Update Polymod version

2022-11-23 16:37:32 -05:00
parent 49edef40cc
commit 77ce6795ae
1 changed files with 1 additions and 1 deletions
@@ -102,7 +102,7 @@
      "name": "polymod",
      "type": "git",
      "dir": null,
-      "ref": "develop",
+      "ref": "cfead69",
      "url": "https://github.com/larsiusprime/polymod"
    },
    {