diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2023-07-27 19:55:27 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2023-07-27 19:55:27 +0300 |
commit | 8baacad5a912e8406f737cdaf90b732cdf1281fb (patch) | |
tree | 4a1482079e67796f3fa20f4025fac213fe521e55 | |
parent | c96af14ea0a92243035d6864aaed6ba38f08986c (diff) |
Update VERSION files
[ci skip]
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -15.11.12
\ No newline at end of file +15.11.13
\ No newline at end of file |