doc ElAlto update

[clamp.git] / version.properties

diff --git a/version.properties b/version.properties
index d222de8..75f8a3b 100644 (file)
--- a/version.properties
+++ b/version.properties
@@ -26,8 +26,8 @@
 # because they are used in Jenkins, whose plug-in doesn't support
 
 major=4
-minor=0
-patch=3
+minor=1
+patch=2
 
 base_version=${major}.${minor}.${patch}