mip: Better support for natmod installations#1140

jonnor wants to merge 1 commit into

micropython:mastermicropython/micropython-lib:masterfrom

jonnor:mip-natmod-installjonnor/micropython-lib:mip-natmod-installCopy head branch name to clipboard