mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 00:07:39 +08:00
Commit 815d71dee hadn't bothered to update the documentation to match the behavioral change, and a lot of other text in this section was badly in need of copy-editing.