Hi, >From the error message, it's not quite obvious to me that that'd fix the error, and I don't see the error here myself. Is there a way I can easily reproduce it?
Arnout -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
