[HEADS-UP] Migrazione CVS

Il cvs è stato migrato sul nuovo server. L'entry del dns cvs.gufi.org è
stata aggiornata. Accertatevi che sia un alias di barbagianni.gufi.org.
Per evitare accessi accidentali sul vecchio server, il  servizio cvs è
stato disabilitato.

Ho provato un accesso anonymous via pserver ed è andato senza problemi.
Restano da testare gli accessi dei commiter via pserver e le commit mail.

Ciao,
Dario

-- 
Regole e consigli per l'uso della lista: http://www.gufi.org/GUFI/mailing_list