Remove assumption of case sensitivity - #11708

Remove assumption of case sensitivity#11708

JukkaL merged 2 commits into

python:masterpython/mypy:masterfrom

hauntsaninja:casesenshauntsaninja/mypy:casesensCopy head branch name to clipboard