change: bump to 1.0.13

rjsuzuki · Nov 10, 2021 · eed99b2 · eed99b2
1 parent 74df31a
commit eed99b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/version.properties b/version.properties
@@ -1,3 +1,3 @@
 v.major=1
 v.minor=0
-v.hotfix=12
+v.hotfix=13