Hi, Norbert Preining wrote (31 Mar 2014 03:06:49 GMT) : > On Tue, 18 Mar 2014, althaser wrote: >> Could you please still reproduce this issue with newer gnome-shell version >> like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ?
I used to experience this problem on sid too, but it seems to have vanished recently (possibly thanks to a xserver-xorg-video-intel upgrade). > As before, I don't have gnome-shell anymore on my laptop. Please > close this bug if nobody else can reproduce it. I concur: we should probably close this bug. Shall I go ahead, or do the maintainers want to handle this differently? Cheers, -- intrigeri -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
