mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-13 09:57:02 +08:00
This patch is Peter E's, but I'm applying it on his behalf so it'll get into 7.1RC3 tonight (I'm guessing Peter went to bed already).
This patch is Peter E's, but I'm applying it on his behalf so it'll get into 7.1RC3 tonight (I'm guessing Peter went to bed already).