On Tue, 2011-09-27 at 16:43 +0100, Bastien Nocera wrote: > On Tue, 2011-09-27 at 10:00 -0400, Mathieu Trudel-Lapierre wrote: > > Hi, > > > > I noticed many duplicate buttons and page headers in the mobile > > broadband wizard, attached is a patch that fixes this. > > It was a bug in GTK+, which I fixed in time for GNOME 3.2 last week.
Was the bug only present in development versions of GTK? Dan _______________________________________________ networkmanager-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/networkmanager-list
