Ubuntu
gnome-themes package

  1. Bug #335888
  2. Comment #4

Comment 4 for bug 335888

Revision history for this message
Martin Pitt (pitti) wrote :

Right, what Pedro said. Including third party themes into the gnome-themes package is a pain; we should put them into gnome-themes-extra, and if we don't want to install all of those by default, split that too.

I will use this bug for the package split.