Skip to content

fix: rename "Manage Extensions" label to "Extensions"#8681

Merged
viva-jinyi merged 1 commit intomainfrom
fix/extensions-label-text
Feb 12, 2026
Merged

fix: rename "Manage Extensions" label to "Extensions"#8681
viva-jinyi merged 1 commit intomainfrom
fix/extensions-label-text

Commits

Commits on Feb 6, 2026