Issue #373 - Add a case-sensitive search checkbox - #47
Merged
Sourcery AI / Sourcery review
succeeded
Sep 3, 2026 in 1m 40s
✅ Completed successfully
Sourcery completed the review and found no blocking security issues
Loading