increment next version after publish

github-actions · github-actions · commit 2ea7e825a894 · 2023-01-10T13:41:58.000Z
diff --git a/version.properties b/version.properties
@@ -1,2 +1,2 @@
-#Wed Jan 04 18:55:52 UTC 2023
-version=2.0.12
+#Tue Jan 10 13:41:56 UTC 2023
+version=2.0.13
