diff --git a/version.properties b/version.properties
index 00839db..0a0cb6c 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}