diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-03-06 18:59:26 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-03-06 18:59:26 +0300 |
commit | ea6537d2be46cffb45a515096c3e813e610f9579 (patch) | |
tree | 79e478b35ee7c961fb1a283280a251d6fa8bb8c0 | |
parent | effa997027e4b97931b868cdf498d545dd7cdadb (diff) |
Update GITALY_SERVER_VERSION to 12.8.5
-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 18dcd6440b2..090faaf2a20 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -12.8.4 +12.8.5 |