What about this

richardpringle · richardpringle · commit 4cc851ac8f22 · 2025-12-17T19:25:29.000-05:00
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit 24173ef7346aeecf3e0f813c71d48fcfb777b0de
+Subproject commit b10de295ed3bc1403d84a683649ea72b8b4d546d
