irc.oftc.net down?

[Diego Novillo]

I haven't been able to connect to #gcc today.  Is anyone else having
trouble connecting?


Diego.