Improve handling 'empty'/null string in Service fields

[sdc.git] / version.properties

diff --git a/version.properties b/version.properties
index 948e4a4..c9d37b0 100644 (file)
--- a/version.properties
+++ b/version.properties
@@ -4,7 +4,7 @@
 # because they are used in Jenkins, whose plug-in doesn't support
 
 major=1
-minor=11
+minor=13
 patch=3
 
 base_version=${major}.${minor}.${patch}