On Sat, 2012-02-04 at 00:33 +0100, Michael Biebl wrote: > Hi, > > this bug report was against a very old version of gnome-shell. > > Could you please try to reproduce the issue with gnome-shell 3.2 from > testing/sid. > > Thanks, > Michael
Indeed. I had forgotten about opening this bug, but it has been fixed for me for quite some time now. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
