mirror of
https://github.com/postgres/postgres.git
synced 2025-06-22 02:52:08 +03:00
e5f3690249
My commit 878fdcb843 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.