mirror of
https://github.com/postgres/postgres.git
synced 2025-11-20 00:02:24 -05:00
e5f3690249
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.