irc.debian.org - No DNS

[Chris Hoover]

It appears that the dns for irc.debian.org is fscked up.  When I try to
ping it, I get unknown host.  Does anyone know of another irc server I
can use to get on the #debian channel?