Hello, Brice, I did reply to your ping. But it seems that this bug is n-plicated. The last stage of things is here:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=425882 so the bug is not solved yet. Maybe you are not paying too much attention here because 425882 is against the obsolete xserver-xorg-video-i810 So I would suggest: 1) Forward this bug 425882 against xserver-xorg-video-intel 2) Archive the rest of the bugs like this (as the latest information is in 425882 and other bugs can mislead). 3) Of course, try to fix it :-) I will help as much as I can. Thank you, David
