diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-13 16:17:23 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-13 16:17:23 +0300 |
commit | 91866438d75c3ee05b1a40b30f2b62e111a00fde (patch) | |
tree | 02ff633896cd96344764007b15cc482c6c34a7e5 | |
parent | 936c7c909aa13423606d8e7bd552f95a0813e1b5 (diff) |
Update VERSION to 13.0.0-rc20200513131446v13.0.0-rc20200513131446
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -13.0.0-rc20200506140558 +13.0.0-rc20200513131446 |