update docs.sourcegraph.com header for 3.5 (!4629) · Merge requests · Administrator / sourcegraph

Administrator requested to merge ggilmore-patch-1 into master Jun 20, 2019

Created by: ggilmore

@christinaforney @ryan-blunden please merge this PR when you are ready to announce 3.5.0's release.

update docs.sourcegraph.com header for 3.5