irc servers

[James A Morrison]

 Hey, 

  Here is a patch to change the irc server, as Rob Levin mentioned.

James A. Morrison

Index: help.html
===================================================================
RCS file: /webcvs/software/hurd/help.html,v
retrieving revision 1.14
diff -u -r1.14 help.html
--- help.html   31 Jul 2002 15:03:06 -0000      1.14
+++ help.html   18 Jan 2003 17:45:50 -0000
@@ -76,9 +76,10 @@
 
 <H3><A HREF="#TOCirc" NAME="irc">Internet relay chat</A></H3>
 <P>
-The <A HREF="http://www.openprojects.net/";>Open Projects Network</A>
-hosts a network of IRC servers accessed through
-<SAMP>irc.openprojects.net</SAMP>.  The channel <SAMP>#hurd</SAMP> is
+The GNU Project uses 
+<A HREF="http://www.freenode.net/";>Freenode</A> as it's official IRC
+network.  The network of IRC servers can be accessed through
+<SAMP>irc.gnu.org</SAMP>.  The channel <SAMP>#hurd</SAMP> is
 dedicated to the Hurd.  You can find other users and developers
 interested in the Hurd there and chat with them in real time.