Ubuntu
gnome-shell package

  1. Bug #968213
  2. Comment #36

Comment 36 for bug 968213

Revision history for this message
In , Pierre-bugzilla (pierre-bugzilla) wrote :

Created attachment 201389
0002-Avoid-small-font-sizes-in-common-ui-elements.patch