top: Update all manifest.py files to use new features from #8914.#9037

Closed

jimmo wants to merge 1 commit intomicropython:masterfrom

jimmo:use-manifest-lib-features

Commits on Aug 10, 2022

top: Update all manifest.py files to use new features.
jimmo
committed