Merge "Added Release 1.3.0"

diff --git a/version.properties b/version.properties
index 44d6d38..70bc126 100644 (file)
--- a/version.properties
+++ b/version.properties
@@ -3,8 +3,8 @@
 # because they are used in Jenkins, whose plug-in doesn't support\r
 \r
 major=1\r
-minor=2\r
-patch=13\r
+minor=3\r
+patch=0\r
 \r
 base_version=${major}.${minor}.${patch}\r
 \r