PR #11708 Remove assumption of case sensitivity

Remove assumption of case sensitivity #11708

JukkaL merged 2 commits into python:master from hauntsaninja:casesens

Remove assumption of case insensitivity

e537705e

hauntsaninja changed the title ~~Remove assumption of case insensitivity~~ Remove assumption of case sensitivity 4 years ago

lint

7a5337f5

JukkaL approved these changes on 2021-12-13

JukkaL merged 4d2ff58e into master 4 years ago

hauntsaninja deleted the casesens branch 4 years ago

Reviewers

JukkaL

Assignees

No one assigned

Labels

None yet

Milestone

No milestone