mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-08 17:17:30 +08:00
Commit b460f5d6693103076dc554aa7cbb96e1e53074f9 overlooked a few bits of documentation that seem like they should mention the new setting.