document 3.1.0 (!2370) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge doc3.1.0 into master Feb 19, 2019

Created by: nicksnyder

part of https://github.com/sourcegraph/sourcegraph/issues/2297