CVS server?

[Nicolas C. <nch...@su...>]

Hello,

For about one month, I have been unable to contact the lirc CVS server.
It seems cvs.gdev.net doesn't even exist for me. Has anyone experienced
the same thing? If this is simply a DNS problem, can anyone give me the
server's IP?

By the way, I wanted to congratulate the lirc team. It's a really good
job, all the more because the documentation levels with the product.
Lirc has changed my life ;)