diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-08-17 22:00:38 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-08-17 22:00:38 +0300 |
commit | 14403d0cd54d5165f26d54b43ba120c6a2186a2e (patch) | |
tree | 644709f037a76c522913d02cd6707858230d342d | |
parent | c50e74805286654a64db1602b0808c651e69a30f (diff) |
Update GITALY_SERVER_VERSION to 13.1.7
-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 a40b36ab996..6c1ba4bf5d4 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -13.1.6 +13.1.7 |