> > > I wonder I can get the branch moved, so I can do the benchmarking :) > > > Any suggestions how to do that? > > I just installed a small patch, hot-fix style which I am hoping will > fix your problem. Can you try it? It passes the testsuite, so the change > should be safe.
And now, the fix that was actually pushed has also been deployed. > Let me know how it goes. I will finish the work over the weekend > so as to replace the local diff by an actual commit (after review > from a coworker of mine). -- Joel