Hi Nikolaus, On Sun, Nov 24, 2013 at 09:35:12PM +0100, Nikolaus Schulz wrote: > But yes, it's a bug, and the fix is in fact trivial, it's just that my > coding infrastructure was broken until today.
Did you manage to write up a fix for this? If not I'll work on one. Thanks -- Jonathan Dowland -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
