[GH-10057] Add search option where mixed-case patterns imply case-sensitivity (!10088) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge github/fork/fedealconada/GH-10057 into master Apr 21, 2020

Created by: fedealconada

This PR adds search option where mixed-case patterns imply case-sensitivity.

Fixes #10057