Merge pull request #9542 from jefferyto/python-musl-find_library-openwrt-18.06
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Wed, 24 Jul 2019 07:11:35 +0000 (09:11 +0200)
committerGitHub <noreply@github.com>
Wed, 24 Jul 2019 07:11:35 +0000 (09:11 +0200)
[openwrt-18.06] python,python3: Fix ctypes.util.find_library()


Trivial merge