-
Georges Basile Stavracas Neto authored
All the new panels have a standard 24px margin now, so since we're already splitting the info pages into separate panels, also fix this minor annoyance. https://bugzilla.gnome.org/show_bug.cgi?id=779216
5bc84ae4