[pull] master from sourcegraph:master#488

pull[bot] merged 1 commit intomeonBot:mastermeonBot/sourcegraph:masterfrom

sourcegraph:mastersourcegraph/sourcegraph-public-snapshot:masterCopy head branch name to clipboard