mirror of
https://github.com/postgres/postgres.git
synced 2025-04-29 13:56:47 +03:00
My commit 878fdcb843e087cc1cdeadc987d6ef55202ddd04 was not quite right. Tom Lane pointed out one of the mistakes fixed here, and I noticed the other myself while reviewing what I'd committed.