Ubuntu
gnome-shell package

  1. Bug #1724098
  2. Comment #14

Comment 14 for bug 1724098

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

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