Skip to content

[CLEANUP] Avoid Hungarian notation for caseInsensitive#970

Merged
JakeQZ merged 1 commit intomainfrom
cleanup/hungarian/case-insensitive
Feb 20, 2025
Merged

[CLEANUP] Avoid Hungarian notation for `caseInsensitive`#970
JakeQZ merged 1 commit intomainfrom
cleanup/hungarian/case-insensitive

Commits

Commits on Feb 20, 2025