Merge pull request #8516 from jefferyto/python-config
authorRosen Penev <rosenp@gmail.com>
Thu, 4 Apr 2019 07:18:24 +0000 (00:18 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Apr 2019 07:18:24 +0000 (00:18 -0700)
python,python3: Include python-config for target Python in InstallDev


Trivial merge