diff options
| author |   Gary Wu <gary.wu@futurewei.com> | 2019-06-14 12:19:39 -0700 |
|---|---|---|
| committer | Gary Wu <gary.wu@futurewei.com> | 2019-06-14 12:21:39 -0700 |
| commit | 25202340c69d3fc0c0b885aadb580d5dbbcfe8ce (patch) | |
| tree | 1452ea37f0502d853945bd4a700fb701de6a04e5 /version.properties | |
| parent | 73a66a348f321af37480991f11999794803f91ea (diff) | |
Version bump demo to 1.4.1-SNAPSHOT
Issue-ID: INT-1055
Signed-off-by: Gary Wu <gary.wu@futurewei.com>
Change-Id: I0143f1c25ccb2d179e28097acea706e225db0934
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 d3f8f828..b086cdbf 100644 --- a/version.properties +++ b/version.properties @@ -3,7 +3,7 @@ major=1 minor=4 -patch=0 +patch=1 base_version=${major}.${minor}.${patch} |