submodule: update mina

querolita · querolita · commit c7f16fe7e6bf · 2025-12-08T19:04:18.000+01:00
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit 54c170fe18d61c8bea3cebe2731aecfa60fc3747
+Subproject commit 814a065c4f0e69460000c1ae47bd6db49193b2c5
