Merge pull request #9532 from jefferyto/python-musl-find_library
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Mon, 22 Jul 2019 13:21:34 +0000 (15:21 +0200)
committerGitHub <noreply@github.com>
Mon, 22 Jul 2019 13:21:34 +0000 (15:21 +0200)
python,python3: Fix ctypes.util.find_library()


Trivial merge