Bundle `misc/proper_plugin.py` as a part of `mypy`#16036

Merged

sobolevn merged 1 commit intomasterfrom issue-16035

Sep 4, 2023

+19-2

Commits on Sep 4, 2023

Bundle misc/proper_plugin.py as a part of mypy
sobolevn
committed