CVS server moved

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

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.