diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/release-process.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 3f807f4539..bb766d02ea 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -65,7 +65,7 @@ in time. The `dev/tools/list-contributors.sh` script computes the number and list of contributors between Coq revisions. Typically used with - `VX.X+alpha..master` to check the contributors of version `VX.X`. + `VX.X+alpha..vX.X` to check the contributors of version `VX.X`. ## On the date of the feature freeze ## |