Skip to content

Use case insensitive in search#1163

Merged
pfferrari merged 2 commits into
mainfrom
feat/642-case_insensitive_search
Jun 18, 2026
Merged

Use case insensitive in search#1163
pfferrari merged 2 commits into
mainfrom
feat/642-case_insensitive_search

Commits

Commits on Jun 17, 2026

Commits on Jun 18, 2026