Merge pull request #4538 from commodo/python-updates
authorJo-Philipp Wich <redacted>
Mon, 3 Jul 2017 13:17:46 +0000 (15:17 +0200)
committerGitHub <redacted>
Mon, 3 Jul 2017 13:17:46 +0000 (15:17 +0200)
python,python3: minor build improvements


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