Merge pull request #11843 from neheb/py3
authorRosen Penev <rosenp@gmail.com>
Wed, 15 Apr 2020 21:56:27 +0000 (14:56 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Apr 2020 21:56:27 +0000 (14:56 -0700)
[19.07]meson: use python3


Trivial merge