From 382406d8b424e19760c926b0cfc9eb4b0c49a48e Mon Sep 17 00:00:00 2001 From: Jendrik Johannes Date: Mon, 10 Jul 2017 10:51:51 +0000 Subject: [PATCH] Update version to 4.2 --- version.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/version.txt b/version.txt index 7d5c902e7779..8012ebbba2cc 100644 --- a/version.txt +++ b/version.txt @@ -1 +1 @@ -4.1 +4.2 \ No newline at end of file