Merge pull request #13131 from jefferyto/python-pip-hash-checking
authorRosen Penev <rosenp@gmail.com>
Tue, 18 Aug 2020 21:11:32 +0000 (14:11 -0700)
committerGitHub <noreply@github.com>
Tue, 18 Aug 2020 21:11:32 +0000 (14:11 -0700)
python3: Use hash-checking mode when installing host pip packages


Trivial merge