Ubuntu
gnome-shell package

  1. Bug #1738838
  2. Comment #5

Comment 5 for bug 1738838

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

Maybe it's https://bugzilla.gnome.org/show_bug.cgi?id=789110 ?