From 40af9cd6effd53f18c3b4677929abeb07d7678e0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 15 May 2020 18:36:54 +0200 Subject: Update dev/doc/release-process.md Co-authored-by: Théo Zimmermann --- dev/doc/release-process.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev') diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index f5ab44c716..af8a4737be 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 from dev/doc/release-process.md. + 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