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

Administrator 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.