diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2023-01-09 15:41:24 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2023-01-09 15:41:24 +0300 |
commit | 17ee78b485aa77b3a312affe9671f691c28b7a53 (patch) | |
tree | 89955f3798103d71e328277a9d16e7ed2df693ae /VERSION | |
parent | 66f47187da83f122b48b21ff1a8096e0d9f9e7fd (diff) |
Update VERSION files
[ci skip]
Diffstat (limited to 'VERSION')
-rw-r--r-- | VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -15.7.1
\ No newline at end of file +15.7.2
\ No newline at end of file |