Ubuntu
gnome-themes package

  1. Bug #9237
  2. Comment #10

Comment 10 for bug 9237

Revision history for this message
Lionel Dricot (ploum-deactivatedaccount) wrote :

reassigning to gnome-theme since only glider is concerned.