From 551adf5a0df216bd339ee9af34d2d458fa482a72 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Thu, 28 Jun 2018 15:52:59 +0200 Subject: Self-credit for the work done. I reused the sentence from the version 8.7 credits. It wasn't initially decided like this but it looks like I'm the de facto maintainer for this release as well. --- doc/sphinx/credits.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/sphinx/credits.rst b/doc/sphinx/credits.rst index 2562dec46..5d9324a65 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 -- cgit v1.2.3