Add info about gitter.

coq · Feb 23, 2018 · b350cbb · b350cbb
1 parent 5fcb0b1
commit b350cbb
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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>