Finally fed up with’s multiple downtimes and « hardware problems » that brought down anoncvs for a month, dev cvs for a week, and mailing-list lagging for multiples days without even an announcement… We moved CVS and mailing-lists to

The change went really smoothly, apart a little glitch, where I forgot to manually remove the subscribers from the new mailing lists when they had ‘nomail’ set on.

Apart from that, the nice guys at seem to do a wonderful job, and it really makes a refreshing change. So, thanks guys !

You can see updated info about CVS and the mailing-lists on our website.