diff options
author | Jan Malkiewicz <jan.malkiewicz@nokia.com> | 2020-12-01 15:49:40 +0100 |
---|---|---|
committer | mrichomme <morgan.richomme@orange.com> | 2020-12-01 16:03:48 +0100 |
commit | a050490b20a8f2e3ba17b9360ddc6fad787fa8ad (patch) | |
tree | dd16e054db98ac082a98aa233b428492c332841d /version.properties | |
parent | beaaa274cf87fc7f45673c562cfcc31cb5d2e505 (diff) |
Release 7.2.0
Issue-ID: OOM-2560
Signed-off-by: Jan Malkiewicz <jan.malkiewicz@nokia.com>
Change-Id: I0aaee3443b7fc032f73d5bc84d00e942e0c22ba9
Signed-off-by: mrichomme <morgan.richomme@orange.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 0d3ec56..01c4721 100644 --- a/version.properties +++ b/version.properties @@ -4,7 +4,7 @@ # because they are used in Jenkins, whose plug-in doesn't support major_version=7 -minor_version=0 +minor_version=2 patch_version=0 base_version=${major_version}.${minor_version}.${patch_version} |