Servers moving!

["Dave Page" <dpage(at)vale-housing(dot)co(dot)uk>]

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