GNOME: header bar is too big due to icon size
Issue generated from Tuleap's migration script. Originally submitted by: Stepan Salenikovich (ssalenik)
The header bar is bigger than the default size (as compared to other applications), likely due to the size of the Ring icon used.