Ubuntu
gnome-shell package

  1. Bug #1718931
  2. Comment #10

Comment 10 for bug 1718931

Revision history for this message
Nicholas Stommel (nstommel) wrote :

Filed an upstream bug, at long last, in the Gnome bugtracker at https://bugzilla.gnome.org/show_bug.cgi?id=793977