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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
