mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 04:47:38 +08:00
This seems more consistent with the pre-existing choices for names of other statistics columns. Rename assorted internal identifiers to match.