search: pre-filter literal regex patterns with case-insensitive substring search#15825
Closed
kolmodin wants to merge 1 commit into
Closed
search: pre-filter literal regex patterns with case-insensitive substring search#15825kolmodin wants to merge 1 commit into
kolmodin wants to merge 1 commit into
