Changelog: add interactive search and case sensitivity toggle (!7799) · Merge requests · Warren Gifford / sourcegraph · GitLab

Warren Gifford requested to merge fa/changelog into master Jan 16, 2020

Created by: attfarhan

Adds changelog entries for case sensitivity toggle and interactive search. Merge AFTER https://github.com/sourcegraph/sourcegraph/pull/7793 is merged and cherry-picked onto 3.12.