Skip to content

Use a case-insensitive compare to set the options of SelectionBase#219

Merged
kbabioch merged 1 commit intoBouni:mainfrom
Guzz-T:try/case-insensitive-options
Jan 6, 2026
Merged

Use a case-insensitive compare to set the options of SelectionBase#219
kbabioch merged 1 commit intoBouni:mainfrom
Guzz-T:try/case-insensitive-options

Commits

Commits on Jan 5, 2026