mirror of
https://github.com/postgres/postgres.git
synced 2025-07-30 11:03:19 +03:00
Revert f68dc5d86b
Renaming will have to be more comprehensive, so I need approval.
This commit is contained in: