From c3f0ebe96ad20e5c96e612f3c767b6f244dd932b Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Fri, 17 Jul 2020 14:38:39 +0200 Subject: Wording improvements. Co-authored-by: Jim Fehrle --- doc/sphinx/changes.rst | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 563fc41323..d4707a04d8 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -64,11 +64,11 @@ Guillaume Claret, Karl Palmskog, Matthieu Sozeau and Enrico Tassi with contributions from many users. A list of packages is available at https://coq.inria.fr/opam/www/. -Previously, most components of Coq had a single principal maintainer -in charge. This was changed in 8.12 (`#11295 -`_) so that every component has -now a dedicated team of maintainers (in charge of reviewing and -merging incoming pull requests). This gave us a chance to +Previously, most components of Coq had a single principal maintainer. +This was changed in 8.12 (`#11295 +`_) so that every component now has +a team of maintainers, who are in charge of reviewing and +merging incoming pull requests. This gave us a chance to significantly expand the pool of maintainters and provide faster feedback to contributors. Special thanks to all our maintainers! -- cgit v1.2.3