diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-08-17 22:02:38 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-08-17 22:02:38 +0300 |
commit | 299bd2967f66fd817e878efac2c9640940899006 (patch) | |
tree | 41294bcd9d072f4a2c6fb10a8d5331aeb1ba1006 | |
parent | 4b370009cdb1c984281f43eb2595423f4e8c7207 (diff) |
Update VERSION to 13.1.7v13.1.7
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -13.1.6 +13.1.7 |