Clarify release-process.md

coq · May 15, 2020 · 878ffbe · 878ffbe
1 parent a5c9ad8
commit 878ffbe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)).