Ubuntu
gnome-shell package

  1. Bug #1690719
  2. Comment #37

Comment 37 for bug 1690719

Revision history for this message
In , Geecko-dev (geecko-dev) wrote :

Christian, I think you should file another issue for this bug. Thanks.