Patrick Welche <prlw1@newn.cam.ac.uk> writes:
> Is something up with gborg cvs, or have the settings changed?
Works here. Probably your DNS server still has the old IP address
cached. All the Postgres servers were moved to new IP addresses today.
regards, tom lane
