On Sat, May 02, 2009 at 04:39:17PM +0200, Jürgen Spitzmüller wrote: > 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.
+1 -- Enrico