diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-11-22 06:17:46 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-11-22 06:17:46 +0300 |
commit | 1f0ab8978eff64f520348952fdbdd6dc5e9e9161 (patch) | |
tree | c012bd527225f68bfe6090c52bd469fbcf914d89 | |
parent | 2d143dafee829530a2fd0878946cd7726ff9ae90 (diff) |
Update VERSION to 12.5.0v12.5.0
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.5.0-ee +12.5.0 |