Make "Other occurrences" comparison case optional #9314
Labels
enhancement
Adding or requesting a new feature.
undecided
These features might not be implemented. Can be prioritized by sponsorship.
Describe the problem
In #8425, "other occurrences" comparison was made case insensitive.
We are relying on it being exact.
Describe the solution you'd like
Please make this optional.
Describe alternatives you've considered
No response
Screenshots
No response
Additional context
No response
The text was updated successfully, but these errors were encountered: