diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-23 22:23:18 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-23 22:23:18 +0300 |
commit | 7ee903626dba129ab84619262a382d52e12cdc6c (patch) | |
tree | 8ecf8def82d6b89cd976b4049b40560d53b00060 | |
parent | 7ceb4ae2466b3d69607bae4e0031baadbccb453d (diff) |
Update VERSION to 13.1.5v13.1.5
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -13.1.4 +13.1.5 |