diff options
author | 2019-10-21 09:40:24 +0000 | |
---|---|---|
committer | 2019-10-21 09:40:24 +0000 | |
commit | 90905c5eeb6d138809769624a24f578135010b05 (patch) | |
tree | fe8f31822ad23866eb975706ff98d1818cd4b621 /version.properties | |
parent | d0f1475f3d0dcec0f0e7bd0b6d08eedd0ded3f19 (diff) | |
parent | bd8a7bfe9933a87c2345d982c98fd434368272b2 (diff) |
Merge "Re-enable npm deploy"
Diffstat (limited to 'version.properties')
-rw-r--r-- | version.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.properties b/version.properties index 941cd1d6..e7d853aa 100644 --- a/version.properties +++ b/version.properties @@ -26,8 +26,8 @@ # because they are used in Jenkins, whose plug-in doesn't support major=4 -minor=1 -patch=4 +minor=2 +patch=0 base_version=${major}.${minor}.${patch} |