Repository navigation
Give plugins the current bar configuration after shell.json changes - #11661
Open
rgouveiamendes wants to merge 1 commit into
Open
rgouveiamendes wants to merge 1 commit into
rgouveiamendes wants to merge 1 commit into
Commits
Commits on Sep 13, 2026