Update Polymod

2023-08-03 13:07:30 -04:00
parent 2ba2aab2e3
commit ba0ed22c1b
1 changed files with 1 additions and 1 deletions
@@ -109,7 +109,7 @@
      "name": "polymod",
      "type": "git",
      "dir": null,
-      "ref": "bb82bfe040965dd55c3b48cb8a3008afdc101ce7",
+      "ref": "4bcd614103469af79a320898b823d1df8a55c3de",
      "url": "https://github.com/larsiusprime/polymod"
    },
    {