diff options
author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-09 15:25:21 +0300 |
---|---|---|
committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-09 15:25:21 +0300 |
commit | 7dca89df8b1fb0f2d86189d2f13dbf21fbcafdda (patch) | |
tree | a6045e3b42b64c85c455b95e422fb1488cca262c /GITALY_SERVER_VERSION | |
parent | cd1cc23153ed8115bc565f62b5a9f4eddc0942ca (diff) |
Update GITALY_SERVER_VERSION to 13.1.4
Diffstat (limited to 'GITALY_SERVER_VERSION')
-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 5a21446fc68..b9f7bfcfa33 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -13.1.3 +13.1.4 |