On Thu, Mar 22, 2018 at 11:07:48AM -0400, Robert Haas wrote: > I suppose we could provide a build-time option to change this behavior.
it seems to me that it is going to be hard to reach a consensus by the end of the commit fest, so I am marking this patch as returned with feedback. Not sure if that's worth it either.. -- Michael
signature.asc
Description: PGP signature
