diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2023-01-09 15:41:12 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2023-01-09 15:41:12 +0300 |
commit | 32d88244f63998b58241983055e3586ac878bce3 (patch) | |
tree | e47c856c438161e41b0dd503491bd51f22d19b6b | |
parent | a9f48777ded34b9f84fbf01e40a744959f88c177 (diff) |
Update VERSION filesv15.7.2
[ci skip]
-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 |