Update version in version.properties file

Issue-ID: AAI-3701
Change-Id: Ibb07ebe14861899d3e25654b220eb18aec157f93
Signed-off-by: Fiete Ostkamp <Fiete.Ostkamp@telekom.de>

diff --git a/version.properties b/version.properties
index 60c0073..39cb3bf 100644 (file)
--- a/version.properties
+++ b/version.properties
@@ -4,8 +4,8 @@
 # because they are used in Jenkins, whose plug-in doesn't support
 
 major_version=1
-minor_version=12
-patch_version=3
+minor_version=13
+patch_version=0
 
 base_version=${major_version}.${minor_version}.${patch_version}