diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index fd34e925db45630e77577ef2cdc758dc7293051f..adb227835d2d63091788957b716f7303555c81af 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -55,6 +55,9 @@ and go through Merge-requests. Everything else should go in \texttt{master},
 which can then be reset to standard-level protection (Developers + Maintainers
 allowed to push/merge).
 
+If there are still merge requests tagged for this release, make sure to set
+their targeted branch to \texttt{stable/release}.
+
 \section{GitLab issues}
 
 {\em This is currently done periodically in specific Frama-C meetings, so only