bring mina up to date

Trivo25 · Trivo25 · commit 128d3301ad57 · 2025-04-23T14:17:47.000+07:00
diff --git a/src/mina b/src/mina
@@ -1 +1 @@
-Subproject commit 5a9145feaba3138cd1a1090d8421a8e67a5485e1
+Subproject commit f3054d47d5c518e3ca74cae19f1bb94f16a3aa7e
