diff options
| author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-06 21:13:09 +0300 |
|---|---|---|
| committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-06 21:13:09 +0300 |
| commit | 8411f47246fd62aaa5ba7e74c633b5b6295d7a9d (patch) | |
| tree | 77630886b06a8bd4240299ac7dedfb5c4c2362b3 | |
| parent | 41cd25e4e621b4736db6acec23a891e89ad7f12d (diff) | |
Update VERSION to 13.1.3v13.1.3
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -13.1.2 +13.1.3 |