On Fri, Aug 24, 2018 at 2:15 PM, Andres Freund <and...@anarazel.de> wrote: > Do they persist after you do re-configure? If so, could you send your > config.log?
I should point out to Bruce that this is clearly related to commit 143290efd0795b61ed2c8358fc1767e799140047. -- Peter Geoghegan
