diff options
| author | Maxime Dénès | 2018-06-29 09:35:23 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-06-29 09:35:23 +0200 |
| commit | 092b74035b73780432a1db9588a7ac54ec6a4721 (patch) | |
| tree | 94bfabddf4594bdbe6aa22a54857c6ff139aafb7 /doc/sphinx | |
| parent | d46dd57462650d1e956d8e80d5aa4e537205de4d (diff) | |
| parent | 154229c1f21c33eae111270e490581a863181954 (diff) | |
Merge PR #7950: Documentation for 8.8.1
Diffstat (limited to 'doc/sphinx')
| -rw-r--r-- | doc/sphinx/credits.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/credits.rst b/doc/sphinx/credits.rst index 2562dec468..5d9324a656 100644 --- a/doc/sphinx/credits.rst +++ b/doc/sphinx/credits.rst @@ -1393,7 +1393,7 @@ Version 8.8 is the third release of |Coq| developed on a time-based development cycle. Its development spanned 6 months from the release of |Coq| 8.7 and was based on a public roadmap. The development process was coordinated by Matthieu Sozeau. Maxime Dénès was in charge of the -release process. +release process. Théo Zimmermann is the maintainer of this release. Many power users helped to improve the design of the new features via the bug tracker, the pull request system, the |Coq| development mailing |