Repository navigation
Notification icon: first hide, show only if needed -> no flickering - #17164
Closed
tobiasKaminsky wants to merge 1 commit into
Closed
tobiasKaminsky wants to merge 1 commit into
tobiasKaminsky wants to merge 1 commit into
Commits
Commits on Jun 10, 2026