[stable23] Add the topbar in the sidebars#6520
Merged
nickvergessen merged 6 commits intostable23from Nov 17, 2021
Merged
Commits
Commits on Nov 17, 2021
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
![backportbot[bot]](https://avatars.githubusercontent.com/in/60201?v=4&size=32){kind=avatar}