Feel free to close, the patch that fixed this (df63c43bcd and its parents) made it into 3.1.6.
- Robert Jacobs -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
