Skip to content

[web] Make search of selectors case-insensitive#900

Merged
dgdavid merged 1 commit intomasterfrom
fix-listsearch
Dec 1, 2023
Merged

[web] Make search of selectors case-insensitive#900
dgdavid merged 1 commit intomasterfrom
fix-listsearch

Commits

Commits on Dec 1, 2023