diff options
| author | Théo Zimmermann | 2020-07-17 14:38:39 +0200 |
|---|---|---|
| committer | GitHub | 2020-07-17 14:38:39 +0200 |
| commit | c3f0ebe96ad20e5c96e612f3c767b6f244dd932b (patch) | |
| tree | ef5d5f6e02dba032985ee41645ae6444e1b491f8 | |
| parent | 730f9d3aa6e89c0c20e528c07820a03950965fbb (diff) | |
Wording improvements.
Co-authored-by: Jim Fehrle <jim.fehrle@gmail.com>
| -rw-r--r-- | doc/sphinx/changes.rst | 10 |
1 files 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 -<https://github.com/coq/coq/pull/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 +<https://github.com/coq/coq/pull/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! |