diff options
| author | Douwe Maan <douwe@gitlab.com> | 2018-07-27 18:13:39 +0300 |
|---|---|---|
| committer | Douwe Maan <douwe@gitlab.com> | 2018-07-27 18:13:39 +0300 |
| commit | d9da5a984cdcc50c2d5cfb0ddacb3c5cd5c28d08 (patch) | |
| tree | 613e0fed6d28ac2f6be0da68ba726772f209b03d | |
| parent | 91f7d8a2405670687b765c1dde50a2e3623e0960 (diff) | |
| parent | 48444752430cddf91adaf0eb38a12587762c21d6 (diff) | |
Merge branch 'update-gitlab-shell' into 'master'
Update gitlab-shell version to 7.2.0
See merge request gitlab-org/gitlab-ce!20876
| -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 69adf3456f8..0ee843cc604 100644 --- a/GITLAB_SHELL_VERSION +++ b/GITLAB_SHELL_VERSION @@ -1 +1 @@ -7.1.5 +7.2.0 |