diff options
| -rw-r--r-- | doc/sphinx/changes.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index f433df0978..441170e419 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -204,8 +204,8 @@ extent influenced the development. Version 8.10 is the fifth release of |Coq| developed on a time-based development cycle. Its development spanned 6 months from the release of |Coq| 8.9. Vincent Laporte is the release manager and maintainer of this -release. This release is the result of ??? commits and ??? PRs -merged, closing ??? issues. +release. This release is the result of ~2500 commits and ~650 PRs merged, +closing 150+ issues. | Santiago de Chile, April 2019, | Matthieu Sozeau for the |Coq| development team |