Merge branch 'dev'

herumi · herumi · commit ab896f97da40 · 2025-02-16T12:00:24.000+09:00
diff --git a/mcl b/mcl
@@ -1 +1 @@
-Subproject commit 3462cf0983bffb703a6e9f4623e47a26ec6e7fe5
+Subproject commit 1a11add6050087639168b7ca6776bbab46a5e279
