Merge pull request #7755 from jefferyto/python-dist-info
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 30 Dec 2018 18:16:38 +0000 (20:16 +0200)
committerGitHub <noreply@github.com>
Sun, 30 Dec 2018 18:16:38 +0000 (20:16 +0200)
python/python3: fix .dist-info missing for setuptools and pip


Trivial merge