diff options
| author | Théo Zimmermann | 2021-02-04 12:06:18 +0100 |
|---|---|---|
| committer | GitHub | 2021-02-04 12:06:18 +0100 |
| commit | e5093e8c205d292ab15b6a64c3d6671583ab6495 (patch) | |
| tree | c76dcfd732eb49f6a7e6626c95fa8a2dcb5b238d /dev/doc | |
| parent | 8c8dddac73d696acf47d61a0714587b99c2c8ac8 (diff) | |
Use release branch instead of master.
Diffstat (limited to 'dev/doc')
| -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 ## |