diff options
| author | Théo Zimmermann | 2019-04-29 11:13:55 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:10:18 +0200 |
| commit | 5e37ef7fedf16a10b18d08c87a20e2dc42dde19a (patch) | |
| tree | fc4504098e9567c2f7738e291cb3b744a56ee028 | |
| parent | eda7d026b6919b8bef13512f5e324c7174f81a7e (diff) | |
Add number of commits, PRs and issues closed.
| -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 |