Merge pull request #4538 from commodo/python-updates
authorJo-Philipp Wich <jo@mein.io>
Mon, 3 Jul 2017 13:17:46 +0000 (15:17 +0200)
committerGitHub <noreply@github.com>
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