diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-20 19:07:17 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-05-20 19:07:17 +0300 |
commit | bc05411ee17b2b56f903643ab1126cc747e8f017 (patch) | |
tree | 986e915b054d43873d3f7bf480c754621c62a44a /GITALY_SERVER_VERSION | |
parent | 9f46488805e86b1bc341ea1620b866016c2ce5ed (diff) |
Update VERSION to 13.0.0-rc42v13.0.0-rc42
Diffstat (limited to 'GITALY_SERVER_VERSION')
0 files changed, 0 insertions, 0 deletions