On Fri, Jun 12, 2009 at 03:21:09PM +0200, Jürgen Spitzmüller wrote: > Enrico Forestieri wrote: > > Does the (untested) attached patch help? > > It fixes the problem I reported, yes. I haven't tested for side-effects, > though.
There should be none. If it works in your test case, then it is OK. May I also apply it to branch? -- Enrico
