Skip to content

fix(search): correct case insensitive sorting#180

Merged
jkuester merged 1 commit intojkuester:masterfrom khwolf:Fix_case_insensitive_sortingDec 27, 2023

Commits

Commits on Dec 23, 2023