Vincent van Ravesteijn wrote: > > If you think that Georg's patch is better, this is fine with me (I myself > > would have applied it, if it had been simple to give an answer to the > > problems it may have rised). So, revert this commit and apply that one. > > > > I don't want to be the one making that call.
Someone has to make the call in the end. I think, Georg's patch is the way to go, but I'm not _very_ much in this particular area of the code. I propose that you apply to trunk, wait two days and apply to branch if nobody objected until then. Jürgen
