On Thu, Aug 24, 2023 at 03:10:00PM -0700, Andres Freund wrote:> Cool. Pushed that way.
I just noticed the tests running about 30% faster on my machine due tothis. Thanks!
-- Nathan BossartAmazon Web Services: https://aws.amazon.com