Search should be case-insensitive
Closed this issue · 1 comments
dustinblack commented
It seems right now that the search in the UI is case-sensitive, and it should instead be case-insensitive
dustinblack commented
Fixed with commit f3c81e5
Closed this issue · 1 comments
It seems right now that the search in the UI is case-sensitive, and it should instead be case-insensitive
Fixed with commit f3c81e5