mip: Allow accessing index from local filesystem#987

asdil12 wants to merge 1 commit intomicropython:mastermicropython/micropython-lib:masterfrom

asdil12:fileasdil12/micropython-lib:fileCopy head branch name to clipboard