Skip to content

Remove `case:yes` dynamic filter

Warren Gifford requested to merge fa/rm-case into master

Created by: attfarhan

With the new case toggle, this filter is no longer useful/functional.

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

Merge request reports