Prefer zoekt for symbol search (!5192) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge kz/symbol into master Aug 14, 2019

Created by: kzh

Screen Shot 2019-08-14 at 1 50 29 PM

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