On Tue, 24 Nov 2020 at 09:36, David Rowley <dgrowle...@gmail.com> wrote: > Well, that makes it look pretty good. If we can get 10-15% on some > machines without making things slower on any other machines, then that > seems like a good win to me.
Pushed. Thank you both for reviewing this. David