diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-01 16:02:49 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-01 16:02:49 +0300 |
commit | 5c8f65cde3015a6f938884512345c996a9f7ccb9 (patch) | |
tree | 1f1cd3dbc7c06e1743cd29facf30f057224ecbd9 /VERSION | |
parent | a8daaa442933f0972b0a31f8452f109d9f4f5f54 (diff) |
Update VERSION to 12.10.13v12.10.13
Diffstat (limited to 'VERSION')
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.10.12 +12.10.13 |