diff options
author | Douwe Maan <douwe@gitlab.com> | 2018-04-09 14:56:21 +0000 |
---|---|---|
committer | Douwe Maan <douwe@gitlab.com> | 2018-04-09 14:56:21 +0000 |
commit | de3f55b226b4c5bb28b207b422582c6e2bfd417f (patch) | |
tree | 4a0387590be6540d7c203d727b307da1b6b2d506 | |
parent | 2224aa3b7f28487d5d06f34cc5761103c1a682e3 (diff) | |
parent | f9dd0dee137671c0ea5bda6e255c3ee0b2fc2f70 (diff) | |
download | gitlab-ce-de3f55b226b4c5bb28b207b422582c6e2bfd417f.tar.gz |
Merge branch 'gitlab-shell-7.1.2' into 'master'
Use gitlab-shell 7.1.2
See merge request gitlab-org/gitlab-ce!18258
-rw-r--r-- | GITLAB_SHELL_VERSION | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GITLAB_SHELL_VERSION b/GITLAB_SHELL_VERSION index 21c8c7b46b8..a8a18875682 100644 --- a/GITLAB_SHELL_VERSION +++ b/GITLAB_SHELL_VERSION @@ -1 +1 @@ -7.1.1 +7.1.2 |