aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--version.properties2
1 files changed, 1 insertions, 1 deletions
diff --git a/version.properties b/version.properties
index f6bcc5a3a1..3ce0a7f00a 100644
--- a/version.properties
+++ b/version.properties
@@ -3,7 +3,7 @@
# because they are used in Jenkins, whose plug-in doesn't support
major=1
-minor=11
+minor=12
patch=0
base_version=${major}.${minor}.${patch}