This repository was archived by the owner on Jul 9, 2025. It is now read-only.
fix: minor UX fixes for installing extensions#4308
Merged
a-b-r-o-w-n merged 10 commits intomainfrom Oct 1, 2020
Merged
Commits
Commits on Oct 1, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
