diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-06-25 00:58:48 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-06-25 00:58:48 +0300 |
commit | fa5b74e48da4bb436edd1683f487e3b0640fd664 (patch) | |
tree | c851798a2a293ab93a080d4e5d01e45da343ae6a | |
parent | db205ab6fa7b61ce350671a2e044a64410bccc9f (diff) |
Update GITALY_SERVER_VERSION to 12.10.12
-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 5ecedd840e3..6b4f4e4030a 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -12.10.11 +12.10.12 |