Andres Freund <[email protected]> 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
