mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-08 12:47:37 +08: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.