Comment 6 for bug 787461

Revision history for this message
Colin Watson (cjwatson) wrote :

(Also, my figure of halving in performance was bogus; I was looking at user time, not wallclock time. 7 seconds versus 43 seconds is more like what I'm seeing.)