Skip to content

Case insensitive search (Fixes #8)

username-removed-645741 requested to merge case-insensitive-search into master

Make search case insensitive Add close button to the search panel

Merge request reports