On 11/27/14 9:58 AM, Peter Eisentraut wrote:
> Surely that's not a value that we expect users to be able to edit. Is
> pg_config_manual.h just abused as a place that's included everywhere?
>
> (I suggest utils/guc.h as a better place.)
This has been fixed.