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.) -- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
