I seem to be unable to access the CVS server:
cvs [update aborted]: connect to cvs.postgresql.org:2401 failed:
Marc, do you know anthing about this?--Tatsuo Ishii