diff --git a/doc/release/branch.tex b/doc/release/branch.tex index e5fe3d875915652e7fde9806a7f7dc07ed758138..e95a4322470e5786a64fa37fee5161ea5b35710f 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}