Merge pull request #8550 from jefferyto/python-fix-bin-symlinks
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Wed, 3 Apr 2019 18:35:37 +0000 (20:35 +0200)
committerGitHub <noreply@github.com>
Wed, 3 Apr 2019 18:35:37 +0000 (20:35 +0200)
python,python3: Fix overridden usr/bin symlinks


Trivial merge