diff options
| author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-10-22 21:02:36 +0300 |
|---|---|---|
| committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-10-22 21:02:36 +0300 |
| commit | bb2a33813d6156494069a353d12d2858725fc9e0 (patch) | |
| tree | 7014873f6abcd0eff41a52ab19b12ee90ec31f88 | |
| parent | d8a7223a9ae47971ee3ed3070f5d42f7d9aa2690 (diff) | |
Update VERSION files
[ci skip]
| -rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -13.5.0
\ No newline at end of file +13.5.1
\ No newline at end of file |