point to develop for real

Geometer1729 · Geometer1729 · commit e816c92613a3 · 2025-02-10T12:23:34.000-05:00
diff --git a/src/bindings b/src/bindings
@@ -1 +1 @@
-Subproject commit 00cb8e69388a6fe449ed51b739d13b57f691d41d
+Subproject commit 827b73351d689b445dd846a5f651af47c7bd93c8
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit e87b07808a33c0edd58ccf6e1c19bb2c41480227
+Subproject commit 133ca6e3b173adb534aa49aeb3cd59788e8eb72a
