diff options
author | 2022-08-17 08:41:44 +0800 | |
---|---|---|
committer | 2022-08-17 08:41:44 +0800 | |
commit | f00f74740e42d08cc6823d094b78aedf87e4cff8 (patch) | |
tree | 95a3e311741feecdb328f8ebddc883b5b9773631 /version.properties | |
parent | f01cd76e0eb8f6a4ea78b26c60e3a37d7d4dd6ae (diff) |
bugfix - username capitalization problem
Issue-ID: HOLMES-564
Signed-off-by: Guangrong Fu <fu.guangrong@zte.com.cn>
Change-Id: Ifa350d406f5fc7549c88bf5b50a8bc111d76fd8c
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 5abc35c..4761c30 100644 --- a/version.properties +++ b/version.properties @@ -4,7 +4,7 @@ major=1
minor=4
-patch=3
+patch=4
base_version=${major}.${minor}.${patch}
|