diff options
author | 2019-10-12 08:07:39 +0800 | |
---|---|---|
committer | 2019-10-12 08:08:52 +0800 | |
commit | adac12885eafc0cf0cd1b33516a69e6bdfbe0ad9 (patch) | |
tree | 6e01041554d283dd02f28b3edb65c28310325d01 /version.properties | |
parent | 344aa523d3ac128605304b25371993ff28e4b988 (diff) |
Bumped the version no. to 1.2.13
Change-Id: I19b34f6b3ebf6e7baf514d8dd5a3ed149512c38d
Issue-ID: HOLMES-268
Signed-off-by: GuangrongFu <fu.guangrong@zte.com.cn>
Diffstat (limited to 'version.properties')
-rw-r--r-- | version.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.properties b/version.properties index 8f80063..44d6d38 100644 --- a/version.properties +++ b/version.properties @@ -4,7 +4,7 @@ major=1
minor=2
-patch=12
+patch=13
base_version=${major}.${minor}.${patch}
|