mirror of
https://github.com/postgres/postgres.git
synced 2025-11-22 12:22:45 +03: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).