Version pushed

2014-10-31 14:46:54 +01:00 · 2014-10-31 14:46:54 +01:00 · 0eb0e9a937
parent 7fcbca5a7d
commit 0eb0e9a937
1 changed files with 1 additions and 1 deletions
--- a/VERSION.json
+++ b/VERSION.json
@ -1 +1 @@
-{"major":2, "minor":3, "hotfix":19}
+{"major":2, "minor":3, "hotfix":20}