Merge pull request #10453 from commodo/python3-fix-build
authorRosen Penev <rosenp@gmail.com>
Mon, 4 Nov 2019 17:26:57 +0000 (09:26 -0800)
committerGitHub <noreply@github.com>
Mon, 4 Nov 2019 17:26:57 +0000 (09:26 -0800)
python3: fix build on Ubuntu/Debian multi-arch


Trivial merge