Skip to content

Conversation

@Revathyvenugopal162
Copy link
Contributor

@Revathyvenugopal162 Revathyvenugopal162 commented Feb 23, 2023

Change the default switcher. Make the navigation end bar switcher only if it is present.

@github-actions github-actions bot added the bug Defects or glitches reported by users or developers label Feb 23, 2023
Copy link
Member

@RobPasMue RobPasMue left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sounds reasonable. Thanks @Revathyvenugopal162

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Defects or glitches reported by users or developers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants