diff options
| author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-21 20:02:13 +0300 |
|---|---|---|
| committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-21 20:02:13 +0300 |
| commit | 80d3ef5d02ffea12fba86edcfbfa4f8253ba17b6 (patch) | |
| tree | 22d6469c68487d3197fc68998190377a422030f1 /VERSION | |
| parent | bb58d747abdd3f4e91f4a19af177442201c1bf33 (diff) | |
Update VERSION to 13.0.0v13.0.0
Diffstat (limited to 'VERSION')
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -13.0.0-rc2 +13.0.0 |