diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-04-30 17:21:13 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-04-30 17:21:13 +0300 |
commit | fe2f889e5f684d68f02203af02ecc828cab2d86e (patch) | |
tree | e9fe34154d4bbebbdd1c18a8a503ed8c186054d6 | |
parent | 5fb195e741c089eeb65e6fb244a2a34334b5f915 (diff) |
Update GITALY_SERVER_VERSION to 12.9.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 2d34d0dc1f7..59763016e87 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -12.9.4 +12.9.5 |