diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2023-01-09 15:41:05 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2023-01-09 15:41:05 +0300 |
commit | c86a7a75a2959c7c78a5d0c3656eedff20c2296f (patch) | |
tree | 6539e347c7055a4ae63235d0e1fb72e4d6fc8c2e | |
parent | 28a197844a202298b91e3a396f63c9993b3b3f10 (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 |