Skip to content
Commit 6b933bd3 authored by David Rutqvist's avatar David Rutqvist
Browse files

Redid fix so it uses the user setting used by global search instead of... 

Redid fix so it uses the user setting used by global search instead of defaulting to case-insensitive
parent c8f5dcf2
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment