Ubuntu
gnome-shell package

  1. Bug #1715722
  2. Comment #3

Comment 3 for bug 1715722

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

It is critical to our Beta release that we have a reliable method of overriding the GDM theme, so the alternatives method seems to be the best way to go. We can talk about further improvement and upstreaming after 17.10