Use micropython from new build location during build#82
Merged
wnienhaus merged 1 commit intomicropython:masterfrom Aug 30, 2022
Merged
Use micropython from new build location during build#82wnienhaus merged 1 commit intomicropython:masterfrom
wnienhaus merged 1 commit intomicropython:masterfrom