From 878ffbe65c545aed09ab43203b8eab169be11f54 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 15 May 2020 17:30:40 +0200
Subject: Clarify release-process.md

---
 dev/doc/release-process.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/doc')

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)).
 
-- 
cgit v1.2.3