Fix text overlapping case sensitivity toggle (!7840) · Merge requests · Warren Gifford / sourcegraph · GitLab

Warren Gifford requested to merge fa/fix-overlap into master Jan 17, 2020

Created by: attfarhan

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