[Fwd: Public IRC is now available on port 6667]

-------- Original Message --------
Subject:  Public IRC is now available on port 6667
Resent-Date:  Mon, 15 Oct 2012 21:17:15 +0000
Resent-From:  w3c-tools@w3.org
Date:  Mon, 15 Oct 2012 17:17:05 -0400
From:  Brett Smith <brett@w3.org>
To:  chairs@w3.org, w3c-tools@w3.org
CC:  w3t-sys <w3t-sys@w3.org>



Hello everyone,

The systeam upgraded the W3C IRC server over the weekend.  The new
software brings one happy change for all W3C collaborators: the public
server is now available on port 6667.

Previously, the public server was only reachable on port 6665.  You can
still use port 6665 today, but many clients are programmed to assume an
IRC server is on port 6667 unless otherwise specified.  Anybody who has
helped a collaborator connect to our IRC server has probably had to deal
with the hassle of emphasizing that clients must be configured to
connect to port 6665.

Those days are over.  Now, it should be possible to tell collaborators
to point their client to irc.w3.org, and the rest should just work.
Most clients will require no additional configuration, and you should no
longer need to emphasize a specific port number for the server.

The documentation at <http://www.w3.org/Project/IRC/> has been updated
to reflect this change, along with some other edits that will hopefully
make the critical information a little easier to find.

If you have any questions about this change, please ask <sysreq@w3.org>.

Best regards,

-- 
Brett Smith



-- 

Michael Cooper
Web Accessibility Specialist
World Wide Web Consortium, Web Accessibility Initiative
E-mail cooper@w3.org <mailto:cooper@w3.org>
Information Page <http://www.w3.org/People/cooper/>