Merge pull request #9103 from jefferyto/python-host-patch-upgraded-setuptools-pip
authorHannu Nyman <hannu.nyman@iki.fi>
Thu, 30 May 2019 08:11:26 +0000 (11:11 +0300)
committerGitHub <noreply@github.com>
Thu, 30 May 2019 08:11:26 +0000 (11:11 +0300)
python,python3: Allow upgraded host setuptools/pip to be patched

1  2 
lang/python/python/Makefile
lang/python/python3/Makefile

Simple merge
Simple merge