Push variuos changes

[music.git] / version.properties

diff --git a/version.properties b/version.properties
index 36a7f08..61495a5 100755 (executable)
--- a/version.properties
+++ b/version.properties
@@ -3,8 +3,8 @@
 # because they are used in Jenkins, whose plug-in doesn't support
 
 major=3
-minor=0
-patch=24
+minor=2
+patch=17
 
 base_version=${major}.${minor}.${patch}