Skip to content

Cosmetic change in menu

Matthias Käppler requested to merge github/fork/mgesmundo/master into master

Created by: mgesmundo

A little change in menu bar to enhance visibility of counters.

Merge request reports