CVS unreachable?

[Maurice S. <ma...@sn...>]

Listmembers:

I wanted to see if there were any changes that I had not yet updated in
the Dutch translation, but I can't seem to connect to the CVS server
because it seems to have disappeared from the DNS.

Did I miss some announcement about a change of servername?

-- 
Greetings,
Maurice