submodule: update mina

querolita · querolita · commit c6fc9d61c4e6 · 2025-12-08T21:56:27.000+01:00
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit 814a065c4f0e69460000c1ae47bd6db49193b2c5
+Subproject commit ebfe5d874f09b5562d40e9eed6c647310cf9d2f1
