Merge branch 'workhorse-version' into 'master'

Bump GitLab Workhorse version to 0.4.2



See merge request !1830

GITLAB_WORKHORSE

-0.4.1

GITLAB_WORKHORSE_VERSION

-0.3.1
+0.4.2

doc/install/installation.md

@@ -327,12 +327,12 @@ GitLab Shell is an SSH access and repository management software developed speci
     cd /home/git
     sudo -u git -H git clone https://gitlab.com/gitlab-org/gitlab-workhorse.git
     cd gitlab-workhorse
-    sudo -u git -H git checkout 0.4.1
+    sudo -u git -H git checkout 0.4.2
     sudo -u git -H make
 
 ### Initialize Database and Activate Advanced Features
 
-    # Go to Gitlab installation folder
+    # Go to GitLab installation folder
 
     cd /home/git/gitlab
 

doc/update/8.1-to-8.2.md

@@ -81,7 +81,7 @@ from GitLab 8.1.
 cd /home/git
 sudo -u git -H git clone https://gitlab.com/gitlab-org/gitlab-workhorse.git
 cd gitlab-workhorse
-sudo -u git -H git checkout 0.4.1
+sudo -u git -H git checkout 0.4.2
 sudo -u git -H make
 ```