diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-01-13 12:25:42 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-01-13 12:25:42 +0300 |
commit | ad279da08332fe8b61f3a477cf93c5328d741b8b (patch) | |
tree | 74e8490e0bb6703f3ecaf502c660c49870acdd3e | |
parent | ae6811cedc43e368d4ee75be2eb8eba283cd999c (diff) |
Update VERSION to 12.5.7v12.5.7
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.5.6-ee +12.5.7 |