From e5093e8c205d292ab15b6a64c3d6671583ab6495 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 4 Feb 2021 12:06:18 +0100
Subject: Use release branch instead of master.

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