Ubuntu
gnome-shell package

  1. Bug #1715722
  2. Comment #10

Comment 10 for bug 1715722

Revision history for this message
Jeremy Soller (jackpot51) wrote :

10:57 Laney hmm, I guess actually we could use this in Ubuntu to let people use the default gdm theme
11:00 Laney maybe not, that's the built in one isn't it?
11:00 Laney jackpot51: please attach it, I think it's worth considering