From 2d5e874ca3e79e8c1312b9eb477cc84d8ca05b21 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Mon, 4 Nov 2024 14:22:37 +0100
Subject: [PATCH] [release] Fix branch name in dune-project update instructions
---
doc/release/branch.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index e5fe3d8759..e95a432247 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -128,7 +128,7 @@ List of external plugins repo names:
For each one of them, check that versions in the \texttt{dune-project} files are
coherent with \FramaC's new release. If not, update them and run \verb+make+ to
generate the new opam file. Create a new branch, commit and push. Create a merge
-request targetting \texttt{stable/copper} on each plugin and assign your co-rm.
+request targetting \texttt{stable/release} on each plugin and assign your co-rm.
This changes will need to be merged on master's branches later.
\section{Copyright}
--
GitLab