Skip to content
This repository was archived by the owner on Aug 29, 2025. It is now read-only.

Issue 545 - Case-insensitive option for filters#609

Closed
dmt0 wants to merge 13 commits into
devfrom
case-insensitive-filters
Closed

Issue 545 - Case-insensitive option for filters#609
dmt0 wants to merge 13 commits into
devfrom
case-insensitive-filters

Filter GUI test

ebd6a04
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs