Thanks for the rapid feedback! Unless you specifically want me to test the patch (seems unnecessary, given how easy it is to reproduce), I'll just wait for 0.9.9.4 to show up.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org