From c3c47d95ac0949797b4272f2043bef63802ce2fb Mon Sep 17 00:00:00 2001
From: Tej Chajed
Date: Fri, 18 Aug 2017 10:16:17 +0100
Subject: Don't mention coq-club at all

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index c6542f81c1..0a8224dda8 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -50,6 +50,6 @@ There are many useful ways to contribute to the Coq ecosystem that don't involve
 
 Tutorials to teach Coq, and especially to teach particular advanced features, would be much appreciated. Some tutorials are listed on the [Coq website](https://coq.inria.fr/documentation). If you would like to add a link to this list, please make a pull request against the Coq website repository at https://github.com/coq/www.
 
-Ask and answer questions on [Stack Exchange](https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites) which has a helpful albeit small community of users. We are trying to ask and answer more questions on Stack Exchange rather than the `coq-club@inria.fr` mailing list since the answers are editable and easier to search for.
+Ask and answer questions on [Stack Exchange](https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites) which has a helpful albeit small community of users.
 
 Hang out on the Coq IRC channel, `irc://irc.freenode.net/#coq`, and help answer questions.
-- 
cgit v1.2.3