diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-06-23 23:30:48 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-06-23 23:30:48 +0300 |
commit | 308f16b9b31dabcc245bb4c3187f5a70fb8a2d8c (patch) | |
tree | ade5cd2b7e35cfeb5875bc4132e711a44a8aeb12 | |
parent | 6b96d119aec0ba674cca2c380cf60f1500306612 (diff) |
Update GITALY_SERVER_VERSION to 13.1.1
-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 e6ba351366d..21b80e995f7 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -13.1.0 +13.1.1 |