Release 3.4.2 (!4245) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge bl/3.4.2 into master May 29, 2019

Created by: beyang

Fixes https://github.com/sourcegraph/sourcegraph/issues/4239