submodule: update mina

querolita · querolita · commit 093414a9cfa5 · 2025-10-08T13:19:38.000+02:00
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit 569e99c95834841d64858644c5d80ac7e63d0157
+Subproject commit e986a9eb0da4cce0eeda2b61624f91f290fd7502
