Merge pull request #7978 from cshoredaniel/pr-python-pkgconfig
authorHannu Nyman <hannu.nyman@iki.fi>
Sat, 19 Jan 2019 09:49:12 +0000 (11:49 +0200)
committerGitHub <noreply@github.com>
Sat, 19 Jan 2019 09:49:12 +0000 (11:49 +0200)
python3: Add installation of pkconfig to InstallDev section.


Trivial merge