Ubuntu
gnome-shell package

  1. Bug #1726621
  2. Comment #1

Comment 1 for bug 1726621

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Wouldn't closing be the job of gnome-shell itself?