developer.pgadmin.org and cvs.pgadmin.org will be changing IP address,
probably some time tomorrow. This is part of a move onto a faster
connection.
The new ips will be as follows - please use these in your hosts file if
the DNS is a little slow to catch up with the move:
developer.pgadmin.org: 194.217.48.42
cvs.pgadmin.org: 194.217.48.44
Regards, Dave