diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-29 01:02:42 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-29 01:02:42 +0300 |
commit | 77f721dd446c6615291d48535cfe2f1d7f7cc9a0 (patch) | |
tree | ea8844a04b7a46f8f8e06854f793354664c9c177 | |
parent | 042cc7bba6135c10cc6affb336538e48f6feae49 (diff) |
Update VERSION to 13.0.2v13.0.2
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -13.0.1 +13.0.2 |