Merge branch 'dev'

j81blog · j81blog · commit 7270a64b6973 · 2019-10-25T08:59:09.000+02:00
diff --git a/version.txt b/version.txt
@@ -1,3 +1,3 @@
 branch;version
-master;2.4.2
+master;2.4.0
 dev;2.4.0
