mypy

modulefinder: make -p handle namespace packages correctly

#9616

Merged