diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-20 19:07:17 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-20 19:07:17 +0300 |
commit | bc05411ee17b2b56f903643ab1126cc747e8f017 (patch) | |
tree | 986e915b054d43873d3f7bf480c754621c62a44a /VERSION | |
parent | 9f46488805e86b1bc341ea1620b866016c2ce5ed (diff) |
Update VERSION to 13.0.0-rc42v13.0.0-rc42
Diffstat (limited to 'VERSION')
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -12.10.6 +13.0.0-rc42 |