submodule: update mina

querolita · querolita · commit b46036fd0622 · 2025-10-16T19:46:32.000+02:00
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit c0e7f3e78050705ee2973991ecc704d6fba3160b
+Subproject commit fa807948b4298eabff9ecf79418068e58415bc91
