diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-01-30 20:56:47 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-01-30 20:56:47 +0300 |
commit | b9a33e9366582105053dfc1d9ab39135a72b30c6 (patch) | |
tree | a325e5c49b3d95ea5cabe7937ddd25c04b1768f2 /VERSION | |
parent | efed756aa7fbe80f589edb613eda69f6c7a9a47a (diff) | |
parent | 2c06285495092fb8cb47239469ae08ce7174fc51 (diff) |
Merge remote-tracking branch 'dev/12-7-stable' into 12-7-stable
Diffstat (limited to 'VERSION')
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.7.2-ee +12.7.4 |