Magnus Hagander <magnus@hagander.net> writes:
> This patch seems to have forgotten to update the documentation.
That characterization seems a bit unfair ...
> http://www.postgresql.org/docs/devel/static/view-pg-settings.html is
> completely unaware of it, which is clearly wrong.
... but yeah, we missed that list. Will fix, thanks for pointing it out.
regards, tom lane