I thought wrongly that all my packages were up to date after installing Wheezy, which was when I reported the bug. I've now updated to 3.2.46-1 and the bug is indeed fixed. Sorry for the noise.
-- David Jarvie. KDE developer. KAlarm author -- http://www.astrojar.org.uk/kalarm -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/201306252340.04171.softw...@astrojar.org.uk