Ubuntu
gnome-shell package

  1. Bug #1694373
  2. Comment #16

Comment 16 for bug 1694373

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

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