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)
commit2d7cab05f2ef7fae499e52ca38b5de65e2a4f5fe
treec1bdf71f962ae243a45854935a17975c9ffa0cf4
parent23fe240f37046562daa24f086428a8f84ed2b9b6
parent3fa0c06d48acbbc94a58d4bbcd03345539451a70
Merge pull request #4538 from commodo/python-updates

python,python3: minor build improvements
git clone https://git.99rst.org/PROJECT