Andres Freund <andres@anarazel.de> writes:
> On 2019-10-29 16:31:11 -0400, Tom Lane wrote:
>> We did something similar not too long ago in configure.in (bfa6c5a0c),
>> and it seems to have helped. +1
> Cool. Any opinion on whether to got for ...
Not here.
regards, tom lane