Hi, Joachim. Would you be willing to provide a fix for this in a Wheezy update? Knowing the answer to this question would make it easier for us in Debian Edu to plan what to do.
-- Happy hacking Petter Reinholdtsen -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org