diff options
| author | Patrick Bajao <ebajao@gitlab.com> | 2019-04-02 04:27:12 +0300 |
|---|---|---|
| committer | Patrick Bajao <ebajao@gitlab.com> | 2019-04-02 17:07:16 +0300 |
| commit | 3c2d5595359ba8513b9d0911a44e7297615f50de (patch) | |
| tree | 7f56c27d13971a0cc675f27fd88db05e6eb95c33 /public | |
| parent | b64662d0afaa961e716988cbebec57a0810d12a2 (diff) | |
Update GITALY_SERVER_VERSION to master
The gitaly branch has been merged to master and deleted so
need to use master for now until a release gets out.
Diffstat (limited to 'public')
0 files changed, 0 insertions, 0 deletions