Merge pull request #10242 from jefferyto/pypi-mk
authorRosen Penev <rosenp@gmail.com>
Fri, 18 Oct 2019 20:26:37 +0000 (13:26 -0700)
committerGitHub <noreply@github.com>
Fri, 18 Oct 2019 20:26:37 +0000 (13:26 -0700)
python,python3: Add pypi makefile


Trivial merge