Hi David & Ivan, thank you for reporting this bug to Debian.
Can you reproduce this bug (https://bugs.debian.org/734931) with Linux 3.13.5-1 from sid? If you can, then I suggest reporting this bug upstream. (Disclaimer: I'm definitely not the maintainer, just trying to help a bit with some trivial bug triaging.) Cheers, -- intrigeri | GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc | OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org