Alvaro Herrera <alvherre@commandprompt.com> writes:
> Neil Conway wrote:
>> Sure -- I sent in a patch earlier, but I'll post an updated version
>> shortly.
> Hmm, I mean just switching the default value in configure.in ... is
> there anything else that needs doing at this point?
Well, that's hardly a one-liner. If nothing else there are probably
multiple places in the documentation that need adjustment.
regards, tom lane