Merge pull request #12754 from jefferyto/python-host-platform
authorRosen Penev <rosenp@gmail.com>
Wed, 8 Jul 2020 18:01:15 +0000 (11:01 -0700)
committerGitHub <noreply@github.com>
Wed, 8 Jul 2020 18:01:15 +0000 (11:01 -0700)
commitf424859f93a38177563a47daff76fa6c5ced24ee
treed679602eadd52602ff889e30fd8dc189af38eb75
parent799db6b36e42b63113f2a0302a8594004a35825c
parent0973d21787868192b63ff353b9bb91b3de68702a
Merge pull request #12754 from jefferyto/python-host-platform

python3: Use default _PYTHON_HOST_PLATFORM