diff options
| author | Enrico Tassi | 2020-05-15 17:30:40 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-05-15 17:30:40 +0200 |
| commit | 878ffbe65c545aed09ab43203b8eab169be11f54 (patch) | |
| tree | ed48b4be4435d878a566db4d18a5fc2c7e6476ff /dev/doc | |
| parent | a5c9ad83071c99110fed464a0b9a0f5e73f1be9b (diff) | |
Clarify release-process.md
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 340b66bbd0..f5ab44c716 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -8,7 +8,7 @@ early enough in the process for this person to be known at that point in time. - [ ] Create a new issue to track the release process where you can copy-paste - the present checklist. + the present checklist from dev/doc/release-process.md. - [ ] Change the version name to the next major version and the magic numbers (see [#7008](https://github.com/coq/coq/pull/7008/files)). |