Adam Chlipala <adamc at hcoop.net> writes: > At some point recently, everyone has stopped being able to connect to > IRC servers (port 6667) from fyodor, as far as I know. We asked FYI. Just tried it. I was able to get to freenode via Fyodor. -- Anil http://hcoop.net/~anil/