Merge pull request #11970 from jefferyto/python-target-build-tools
authorHannu Nyman <redacted>
Mon, 27 Apr 2020 08:14:11 +0000 (11:14 +0300)
committerGitHub <redacted>
Mon, 27 Apr 2020 08:14:11 +0000 (11:14 +0300)
python3: Fix host build tool names recorded in target files


Trivial merge
git clone https://git.99rst.org/PROJECT