mirror of
https://github.com/postgres/postgres.git
synced 2026-06-10 01:23:20 -04:00
c1602c7a1b
Also, another round of copy-editing. I merged a few items that didn't seem to be meaningfully different from a user's perspective.