Great GNOME artwork in 10.1

You really did a great job with the new GNOME artwork in 10.1. I like the new Industrial icon set very much, and the new GNOME default theme as well. Cheers! -- Igor Jagec