# Note that these variables cannot be structured (e.g. : version.release or version.snapshot etc... )
# because they are used in Jenkins, whose plug-in doesn't support
-major=1
+major=2
minor=0
-patch=12
+patch=5
base_version=${major}.${minor}.${patch}
# Release must be completed with git revision # in Jenkins