mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-20 13:27:00 +08:00
The previous ordering was hard to understand and remember. Also adjust wording to be more consistent with surrounding items. Backpatch-through: master