diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-11-27 14:31:00 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-11-27 14:31:00 +0300 |
commit | 52b9f101a35b6eec91621d5470e6d5883bfcaf88 (patch) | |
tree | 8d9ea54cf3da9939592d14a1208cf262dd67a199 /VERSION | |
parent | 4c442bdda212490c660a4c0acd82d03f60d72dc9 (diff) | |
parent | ef6512ad8f7fc86ab67f210b6ca2754790e4564f (diff) |
Merge remote-tracking branch 'dev/12-5-stable' into 12-5-stable
Diffstat (limited to 'VERSION')
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.5.0-ee +12.5.1 |