From 358059e8dcd143864ad7b9460da857b84ebcd6ff Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 9 Feb 2019 16:40:05 +0100
Subject: [readme] Add link to information about release plans.

This is a proposal to use the wiki to gather current information about
the release process.
---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 5df8423ef4..f332bf5db0 100644
--- a/README.md
+++ b/README.md
@@ -93,10 +93,12 @@ To be effective, bug reports should mention the OCaml version used
 to compile and run Coq, the Coq version (`coqtop -v`), the configuration
 used, and include a complete source example leading to the bug.
 
-## Contributing
+## Contributing to Coq
 
 Guidelines for contributing to Coq in various ways are listed in the [contributor's guide](CONTRIBUTING.md).
 
+Information about the next release is at https://github.com/coq/coq/wiki/Release-Plan
+
 ## Supporting Coq
 
 Help the Coq community grow and prosper by becoming a sponsor! The [Coq
-- 
cgit v1.2.3