Hi, I was working on #669311 and I've run into the same thing! Also, I wrote exactly the same patch (well, this one is obvious, isn't it?) before I found your bug.
Dear maintainer - please merge it, so that other people won't hit this wall. Cheers, Tomasz -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
