diff options
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/release-process.md | 4 |
1 files changed, 3 insertions, 1 deletions
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 ## |