Merge pull request #12755 from jefferyto/python-host-platform-openwrt-19.07
authorRosen Penev <rosenp@gmail.com>
Wed, 8 Jul 2020 18:03:38 +0000 (11:03 -0700)
committerGitHub <noreply@github.com>
Wed, 8 Jul 2020 18:03:38 +0000 (11:03 -0700)
[openwrt-19.07] python3: Use default _PYTHON_HOST_PLATFORM


Trivial merge