diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-12-03 14:22:02 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-12-03 14:22:02 +0300 |
commit | 225d2e5bb899067bde3caedb1319d39c46d94dc0 (patch) | |
tree | 01d91922ec266368fe8f5ff2bc25b22b7bdf2e3e | |
parent | f033ece0f52017a15d17b7ad7f058163c90c3055 (diff) |
Update VERSION to 12.5.3v12.5.3
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.5.2-ee +12.5.3 |