Re: [patch] fix bug 3235 (and a bit more)

[Dov Feldstern]

That (and the proposed solution below) makes a lot of sense. I don't have
time now to investigate, maybe you can put this analysis into bugzilla so
that it does not get forgotten?
I already added a comment saying that there is a thread in the mailing 
list with such-and-such a title on such-and-such a date. Is that enough, 
or should I also add a link to the mailing list (how?) or the actual 
text of this message?