Ubuntu
gnome-shell package

  1. Bug #876627
  2. Comment #11

Comment 11 for bug 876627

Revision history for this message
Brendan_P (brendan-p) wrote :

OK thanks Jeremy. I'll keep track of that bug and see if the mutter update fixes this issue too.

Cheers
Brendan