SourcesPage: Use case-insensitive search
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
SourcesPage: Use case-insensitive search
Tobias Ozór
requested to merge
tobiasozor/discover:sourcepage_case_insensitivity
into
master
May 17, 2026
Overview
1
Commits
1
Pipelines
5
Changes
1
Merge request reports
Loading