Repository navigation
fix(extensions): guard the required manifest sections so one bad extension cannot break extension list - #3797
Merged
mnriem merged 1 commit intoJul 29, 2026
Commits
Commits on Jul 28, 2026
extension list - #3797