On Sun, Jul 26, 2020 at 4:17 PM Jeff Davis <pg...@j-davis.com> wrote: > I saw less of an improvement than you or Andres (perhaps just more > noise). But given that both you and Andres are reporting a measurable > improvement, then I went ahead and committed it. Thank you.
Thanks! -- Peter Geoghegan
