From fc758c0b75412038b942a331b17f745969bb33d0 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 9 Dec 2020 10:54:39 +0100
Subject: [rm] announcements to discourse

---
 dev/doc/release-process.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md
index f7f1801307..39ad7f3b8f 100644
--- a/dev/doc/release-process.md
+++ b/dev/doc/release-process.md
@@ -147,7 +147,9 @@ in time.
 - [ ] Prepare a page of news on the website with the link to the GitHub release
   (see [coq/www#63](https://github.com/coq/www/pull/63)).
 - [ ] Merge the website update, publish the release
-  and send announcement e-mails.
+  and send announcement e-mails, typically on
+  the `coq-club@inria.fr` mailing list and the discourse forum
+    ([posting by mail](https://github.com/coq/coq/wiki/Discourse))
 - [ ] Close the milestone
 
 ## At the final release time ##
-- 
cgit v1.2.3