Merge pull request #153139 from Artturin/mypyupdate
authored by Sandro and committed by GitHub 4 years ago 0df76028 7518dfb5