Bump version to 0.7.12

github-actions[bot] · github-actions[bot] · commit 939eb731a0c0 · 2025-10-17T21:54:54.000Z
diff --git a/version.properties b/version.properties
@@ -1 +1 @@
-version=0.7.11
+version=0.7.12
