On Sun, 13 Jul 2014 18:06:16 +0100, Ben Hutchings wrote: > See <https://bugs.debian.org/cgi-bin/bugreport.cgi?msg=44;bug=754173>.
Thanks - I can confirm that my problem is indeed caused by the same issue
and is gone with the kernel you supplied :-)
Regards,
Peter
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
