Merge pull request #248642 from Mic92/mypy
mypy: set mainProgram
authored by Weijia Wang and committed by GitHub 2 years ago 0584aa0d c9f1cf79