diff options
| author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-13 17:08:18 +0300 |
|---|---|---|
| committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-13 17:08:18 +0300 |
| commit | 07fbed59d4289c5a615ce9d37cd52a5342966052 (patch) | |
| tree | 83a95ce35e6b13cd009c58fda2f50dcda10cb2de | |
| parent | 6e0790501a8cd39791191de6312c0387d4a0ed3f (diff) | |
Update VERSION to 13.0.0-rc20200513140415v13.0.0-rc20200513140415
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -13.0.0-rc20200513131446 +13.0.0-rc20200513140415 |