Ubuntu
gnome-shell package

  1. Bug #816762
  2. Comment #11

Comment 11 for bug 816762

Revision history for this message
Jeremy Bícha (jbicha) wrote :

Joe, I think bug 828751 will be fixed soon which should fix things without needing to create a gnome-shell patch, which we'd then have to drop again.