From b350cbb6f04fa07930ff2b67d7e0e6027ea8e116 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 | 5 +++--
 1 file changed, 3 insertions(+), 2 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..99d596f6c3
--- 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>