I've moved the CVS server onto developer.pgadmin.org to save an IP address. DNS has been updated, but it might take a day or so to propagate of course.
Any problems, please let me know.
Regards, Dave.
---------------------------(end of broadcast)---------------------------
TIP 5: Have you checked our extensive FAQ?
http://www.postgresql.org/docs/faqs/FAQ.html
