1. 2007-11-30 [2] GNOME mug design gnome-themes Thomas Wood 2. 2007-11-27 [1] New sounds for Gnome gnome-themes martyn CLEMENT 3. 2007-11-14 [1] Define gtkrc font on win32 gnome-themes Iker Perez de Albeniz 4. 2007-11-08 [15] new highcontrast widgets? gnome-themes Andreas Nilsson 5. 2007-11-05 [1] gtk-engines 2.12 branched gnome-themes Benjamin Berg