mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-24 23:37:03 +08:00
The new name was originally my typo, but per discussion it seems like a better name anyway. So make the code match the docs, not vice versa.