Skip to content

multiple fixes for the topbar

chandi requested to merge topbar-fixes into master

multiple small fixes for the topbar (see commit messages)

Merge request reports