Skip to content

fixes for duplicate sidebar#358

Merged
karlicoss merged 2 commits intomasterfrom
fix-duplicate-sidebar
Jan 19, 2023
Merged

fixes for duplicate sidebar#358
karlicoss merged 2 commits intomasterfrom
fix-duplicate-sidebar

Conversation

@karlicoss
Copy link
Owner

No description provided.

also allows to test more in test_sidebar_navigation, at least under firefox
@karlicoss karlicoss merged commit 3912483 into master Jan 19, 2023
@karlicoss karlicoss deleted the fix-duplicate-sidebar branch January 19, 2023 02:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant