From ea76c6cefa1d1ce5a83310aeda67aae88174943d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 11 May 2022 09:30:23 +0200
Subject: [PATCH] Fix Manganese version number in E-ACSL Changelog

---
 src/plugins/e-acsl/doc/Changelog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 7ebc21bcc83..e21476509ad 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -27,7 +27,7 @@ Plugin E-ACSL <next-release>
 
 
 ##############################
-Plugin E-ACSL 24.0 (Manganese)
+Plugin E-ACSL 25.0 (Manganese)
 ##############################
 
 -  E-ACSL       [2022-03-04] Improve translation of `\at()` terms and
-- 
GitLab