mirror of
https://github.com/postgres/postgres.git
synced 2025-11-10 17:42:29 +03:00
I'm committing these changes separately so that it's clear what is
Peter's original work versus what I changed. This is a followup to
commit 0011c0091e, and these changes
are all by me.