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


Trivial merge