Le lundi 27 août 2007, à 23:09 +0200, Jaap Haitsma a écrit : > Hi, > > The gnome-searchtool icon got removed from gnome-icon-theme because it > got replaced by the system-search icon. > > I've made patches for gnome-searchtool and gnome-panel to use the new icon. > > http://bugzilla.gnome.org/show_bug.cgi?id=470194 gnome-panel > http://bugzilla.gnome.org/show_bug.cgi?id=470196 gnome-searchtool > > Can I apply the two patches?
Adding gnome-doc-list and release-team to CC. You get one approval from me if documentation people are fine with this change. Vincent -- Les gens heureux ne sont pas pressés. _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
