I generally turn it off, but I have no objection to this one if the author agrees.
-Eric On Mon, Dec 12, 2011 at 12:49 PM, Patrick Steinhardt <steinhard...@me.com> wrote: > I am in favor of the new icon set, as well. > > > On Dec 12, 2011, at 6:34 PM, Robert Vehse wrote: > >> >> Am 11.12.2011 um 22:09 schrieb Adrian Godoroja: >> >>> I'd propose to switch our current set with this one, asking the permission >>> of the author to use it, rename and so on... >> >> +1 >