diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2021-06-21 16:53:38 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2021-06-21 16:53:38 +0300 |
commit | ad69e8948e066212976472f04d1e5915dbe496d2 (patch) | |
tree | 2d3d1863fcc3061e85ee961c7374c05fe8df77f3 | |
parent | a6ebd0ef9bbc1afe83fa7048ccd068eb0592d4d1 (diff) |
Update VERSION files
[ci skip]
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -13.12.4
\ No newline at end of file +13.12.5
\ No newline at end of file |