From 31d2ebe736ea49399276b528ac61bfcaa6141f5d Mon Sep 17 00:00:00 2001
From: Jim Fehrle <jfehrle@sbcglobal.net>
Date: Thu, 22 Feb 2018 18:29:14 -0800
Subject: [PATCH] Add info about gitter.

---
 pages/community.html | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)
 mode change 100644 => 100755 pages/community.html

diff --git a/pages/community.html b/pages/community.html
old mode 100644
new mode 100755
index 8471d4857a..6d5bd2288c
--- a/pages/community.html
+++ b/pages/community.html
@@ -56,8 +56,9 @@
 <div class="frameworkcontent">
 	
 <p>
-You can contact directly the Coq developers through the
-<a class="extlink" href="https://sympa.inria.fr/sympa/info/coqdev">Coqdev mailing list</a>.
+You can contact the Coq developers directly through the
+<a class="extlink" href="https://sympa.inria.fr/sympa/info/coqdev">Coqdev mailing list</a>
+or through <a class="extlink" href="https://gitter.im/coq/coq">Coq Gitter chat</a>.
 If you want to report a bug, please consider using
 our <a class="extlink" href="/bugs/">bug tracking system</a>.
 </p>
@@ -68,7 +69,7 @@
 </p>
 
 <p>
-The Coq developers and interested users gather for
+Coq developers and interested users gather for
 <a class="extlink" href="https://coq.inria.fr/cocorico/CoqDevelopment/">Working Groups</a>
 a few times a year.  You are welcome to attend!
 </p>
@@ -77,6 +78,7 @@
 <div class="frameworklinks">
 <ul>
 <li><a href="https://sympa.inria.fr/sympa/info/coqdev">Coqdev</a></li>
+<li><a class="extlink" href="https://gitter.im/coq/coq">Gitter</a></li>
 <li><a class="extlink" href="/bugs/">Bug tracker</a></li>
 <li><a class="extlink" href="https://coq.inria.fr/cocorico/CoqDevelopment/">Working Groups</a></li>
 </ul>