Bump up mina to latest compatible

dannywillems · dannywillems · commit 58b1055871d3 · 2025-04-15T12:03:07.000+02:00
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit 8f6609ebc9ea9edcc677d006e20ed6b704b3cd4e
+Subproject commit 0c7d7106c939de67234705e21f4c4bd5da032b2e
