mypy
[mypyc] Remangle names produced by allow-redefinition
#11175

Merged

[mypyc] Remangle names produced by allow-redefinition #11175

JukkaL merged 2 commits into python:master from jhance:mangling

[mypyc] Remangle names produced by allow-redefinition

bf5cef68

flake8

6759d9ea

JukkaL approved these changes on 2021-09-22

JukkaL merged 20fa54af into master 4 years ago

Reviewers

JukkaL

Assignees

No one assigned

Labels

None yet

Milestone

No milestone