Ubuntu
gnome-shell package

  1. Bug #1694373
  2. Comment #8

Comment 8 for bug 1694373

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

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