diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-10-01 20:04:57 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2019-10-01 20:04:57 +0300 |
commit | c6128d82ca4bdb53fe8712930d1d9c0b9c0c2781 (patch) | |
tree | 4b14c2949dc26f217a5ea2e7dca5015f3b0f8ddc | |
parent | 6317d49c00310552f9838b55d886fdc212f7ceb1 (diff) |
Update VERSION to 12.1.13v12.1.13
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.1.12 +12.1.13 |