On Wed, Oct 01, 2003 at 11:41:40AM +0200, Stefano Zacchiroli wrote: > This is the patch that fix the bug directly from Michel Mauny (forwarded > here for the records). Yep, but it is unappliable. I am trying to get a clean unidiff patch out of CVSright now. Friendly, Sven Luther