1 files changed, 2 insertions, 2 deletions
diff --git a/version.properties b/version.properties
index 00839db8e5..0a0cb6c5d7 100755
--- a/version.properties
+++ b/version.properties
@@ -21,8 +21,8 @@
 # because they are used in Jenkins, whose plug-in doesn't support this
 
 major=3
-minor=1
-patch=5
+minor=2
+patch=0
 
 base_version=${major}.${minor}.${patch}