gnome-shell is now at 3.8 (versus 3.4 in wheezy where this was originally seen), so this is likely improved at this point. Can anyone experiencing the problem please retest in jessie or unstable?
Best wishes, Mike -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
