I noticed that IRC information was difficult to find on the website.  OK?

---
 htdocs/style.mhtml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/htdocs/style.mhtml b/htdocs/style.mhtml
index d015029a..f1aa8214 100644
--- a/htdocs/style.mhtml
+++ b/htdocs/style.mhtml
@@ -67,6 +67,7 @@
   <a href="<get-var BACKPATH>snapshots.html">Snapshots</a><br>
   <a href="<get-var BACKPATH>lists.html">Mailing lists</a><br>
   <a 
href="https://gcc.gnu.org/onlinedocs/gcc/Contributors.html";>Contributors</a><br>
+  <a href="https://gcc.gnu.org/wiki/GCConIRC";>IRC</a><br>
   <div class="center">
   <a href="https://twitter.com/gnutools";>
     <img src="<get-var BACKPATH>twitter-bird-light-bgs.png"

base-commit: 68ff8f3f8b53a7070540b2ea30f45eefe03ce80a
-- 
2.46.1

Reply via email to