mirror of
https://github.com/postgres/postgres.git
synced 2025-11-10 00:08:16 -05:00
This is needed to match recent changes elsewhere. Along the way, some renaming for clarity. KaiGai Kohei
This is needed to match recent changes elsewhere. Along the way, some renaming for clarity. KaiGai Kohei