Ubuntu
gnome-shell package

  1. Bug #1717453
  2. Comment #12

Comment 12 for bug 1717453

Revision history for this message
In , Florian-muellner (florian-muellner) wrote :

*** Bug 781858 has been marked as a duplicate of this bug. ***