Skip to content

fix: make default search case insensitive#568

Closed
joseph-sentry wants to merge 3 commits intomainfrom joseph/case-insensitive-search

Commits

Commits on Nov 28, 2024