diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-06 21:36:07 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-06 21:36:07 +0300 |
commit | 6466ad5b87a61eb7c2f4e05c80b177b3bb9cf564 (patch) | |
tree | c7d2e005033650684a821aa0ea3bd0483beedb77 | |
parent | c8cbc1d26680d34a65bc1ff05447e078e3e8ca4e (diff) |
Update GITALY_SERVER_VERSION to 12.10.14
-rw-r--r-- | GITALY_SERVER_VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GITALY_SERVER_VERSION b/GITALY_SERVER_VERSION index ef69f46b77c..837dcc212d7 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -12.10.13 +12.10.14 |