mirror of
https://github.com/postgres/postgres.git
synced 2026-06-04 14:55:34 -04: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.