submodule: update mina

querolita · querolita · commit 893f05e999f4 · 2026-03-24T11:48:54.000+01:00
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit f8fa155167e0b7e30e9126d52319d15b482fa8fe
+Subproject commit 4f12ebef8e6596c387ae6d2b3a50d61a157b52d7
