diff options
| author |   Marco Platania <platania@research.att.com> | 2019-05-07 16:54:39 -0400 |
|---|---|---|
| committer |   Gary Wu <gary.i.wu@huawei.com> | 2019-05-07 13:58:00 -0700 |
| commit | 95cd08dcb2874f5cce4f97167e0ff4f219ae8087 (patch) | |
| tree | cec3710108b4efe65739523621226f0c80a168ac /version.properties | |
| parent | cdb81112b08895c30132a930eb3c8095bbea10e6 (diff) | |
Roll version number
Change-Id: If18c9d5ba60896b5acaa9fb287620feb558b47d3
Issue-ID: INT-1070
Signed-off-by: Marco Platania <platania@research.att.com>
Signed-off-by: Gary Wu <gary.i.wu@huawei.com>
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..4467a193 100644 --- a/version.properties +++ b/version.properties @@ -2,7 +2,7 @@ # because they are used in Jenkins, whose plug-in doesn't support major=1 -minor=4 +minor=5 patch=0 base_version=${major}.${minor}.${patch} |