I agree that (subjectively - I haven't timed it) it seems somewhat slower. Correctness over performance, though, so I'm going to go ahead with this for Lucid at the moment - we can backport additional performance fixes as they're done upstream.
I agree that (subjectively - I haven't timed it) it seems somewhat
slower. Correctness over performance, though, so I'm going to go ahead
with this for Lucid at the moment - we can backport additional
performance fixes as they're done upstream.