diff options
author | 2023-06-12 14:35:34 +0000 | |
---|---|---|
committer | 2023-06-12 14:39:30 +0000 | |
commit | 6f1ea8783b9f9d4bf0f6bb97b3454963d5a64223 (patch) | |
tree | 6e80caf0c6b81d6ce1508391da0b4f3a90ad3b4c /version.properties | |
parent | 2d87bee4d6b1ce0407180415e0a883ffde1903e7 (diff) |
Bump version to 1.13.0-SNAPSHOT
Issue-ID: SO-4084
Signed-off-by: Lukasz Rajewski <lukasz.rajewski@t-mobile.pl>
Change-Id: I6d63f41967b1e43e54f2431b1c6afccee4354b97
Diffstat (limited to 'version.properties')
-rw-r--r-- | version.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.properties b/version.properties index 4014cff557..2ed82f60d1 100644 --- a/version.properties +++ b/version.properties @@ -3,8 +3,8 @@ # because they are used in Jenkins, whose plug-in doesn't support major=1 -minor=12 -patch=1 +minor=13 +patch=0 base_version=${major}.${minor}.${patch} |