Hi, I just wanted to both confirm the problem, and that the patch works fine. I actually fixed the problem myself, and was about to submit the patch, when I found this report. (Obviously) it was exactly the same solution.
It would be great if this could get included on the next update! Thanks, ~David -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org