> > 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. 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
