Ubuntu
gnome-shell package

  1. Bug #1694373
  2. Comment #13

Comment 13 for bug 1694373

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

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