zoekt: update to deterministic search order (!8360) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge core/update-zoekt into master Feb 11, 2020

Created by: keegancsmith

See https://github.com/sourcegraph/zoekt/commit/6a6bb2fa654d4434a3249fcf8793b47f65c43362