Added IRC channel info to front page.

mithro · rustyrussell · commit aec3a514845c · 2014-07-28T21:27:58.000+09:30
[Rusty s/a/an/ typo fix]
diff --git a/web/index.html b/web/index.html
@@ -75,10 +75,9 @@ <h1> About Pettycoin </h1>
 	<p>
 	  We have a <a href="conduct.html">code of conduct</a>, and
 	  there's also
-	  a <a href="https://lists.ozlabs.org/listinfo/pettycoin-dev">development
-	  mailing list</a> and a
-	  github <a href="https://github.com/rustyrussell/pettycoin/issues">
-	  bugtracker</a>.
+	  a <a href="https://lists.ozlabs.org/listinfo/pettycoin-dev">development mailing list</a>, 
+	  a chat channel <a href="irc://irc.freenode.net/#pettycoin">#pettycoin</a> on <a href="http://freenode.net/">Freenode</a> (with <a href="http://webchat.freenode.net/?channels=#pettycoin">provided Freenode web interface</a>), 
+	  and a github <a href="https://github.com/rustyrussell/pettycoin/issues">bugtracker</a>.
 	</p>
       </div>
     </section>
