I've moved the CVS server onto developer.pgadmin.org to save an IPaddress. DNS has been updated, but it might take a day or so topropagate of course.
Any problems, please let me know.
Regards, Dave.