From 5694700e5b738c136e1e93f19f14466421247609 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thibault.martin@cea.fr>
Date: Tue, 18 Jun 2024 13:58:26 +0000
Subject: [PATCH] Fix typos, add Minimal in external plugin list
---
doc/release/branch.tex | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index b363a67ae5..e5fe3d8759 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -82,7 +82,7 @@ On the new \texttt{stable} branch, execute the script:
This will:
\begin{itemize}
- \item update the \texttt{Changelog}
+ \item update the \texttt{Changelog}s
\item update the changes in the manuals \textbf{(excluding ACSL and E-ACSL references)}
\item update the \texttt{VERSION} and \texttt{VERSION\_CODENAME} files
\item update the \texttt{opam} files (Frama-C, lint, hdrck)
@@ -119,6 +119,7 @@ List of external plugins repo names:
\item frama-clang
\item GenAssigns
\item Meta
+ \item Minimal
\item Mthread
\item PathCrawler
\item Security
--
GitLab