diff options
author | Gary Wu <gary.wu@futurewei.com> | 2019-07-08 11:08:14 -0700 |
---|---|---|
committer | Gary Wu <gary.wu@futurewei.com> | 2019-07-08 11:08:14 -0700 |
commit | 82c1ca5a6a9cdae3cf1a7cd12efb4dd9add3ec4c (patch) | |
tree | ac511b66dd471c093d83b53b7854a4bf73be33b5 /version.properties | |
parent | 911562cd789f85a4689c9b62e926311163118650 (diff) |
Version bump demo to 1.4.2-SNAPSHOTdublin
Issue-ID: INT-1055
Signed-off-by: Gary Wu <gary.wu@futurewei.com>
Change-Id: I818cbf5a8ba21391d238a477e83a6b70189fabd4
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 b086cdbf..5cb2b37d 100644 --- a/version.properties +++ b/version.properties @@ -3,7 +3,7 @@ major=1 minor=4 -patch=1 +patch=2 base_version=${major}.${minor}.${patch} |