diff options
| author | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-23 19:21:07 +0000 |
|---|---|---|
| committer | GitLab Release Tools Bot <delivery-team+release-tools@gitlab.com> | 2020-07-23 19:21:07 +0000 |
| commit | 796e925b1d90d0666de0a331e3145816113b23e3 (patch) | |
| tree | f3aef6a3363661a79cffb9cd1be5b8dbc9da957e | |
| parent | 6d950075f586717d18cbdf5751b244a37300b916 (diff) | |
| download | gitlab-ce-796e925b1d90d0666de0a331e3145816113b23e3.tar.gz | |
Update GITALY_SERVER_VERSION to 13.1.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 b9f7bfcfa33..85a22f974f1 100644 --- a/GITALY_SERVER_VERSION +++ b/GITALY_SERVER_VERSION @@ -1 +1 @@ -13.1.4 +13.1.5 |