Skip to content

Revert "Revert "Rewrite extension management tools""#5273

Merged
angelahning merged 2 commits intomainfrom
revert-5243-revert-5057-aning/plat-ext
Oct 21, 2025
Merged

Revert "Revert "Rewrite extension management tools""#5273
angelahning merged 2 commits intomainfrom
revert-5243-revert-5057-aning/plat-ext

Commits

Commits on Oct 20, 2025