From 736201f9879d9b7bf028e3cd14147bc88e4ce712 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 8 Feb 2023 08:58:57 +0100
Subject: [PATCH] [e-acsl] changelog

---
 src/plugins/e-acsl/doc/Changelog | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index cee7364cd1e..94a2f9527eb 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,9 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-! e-acsl-gcc   [2023-02-08] arguments to options -e/--cpp-flags now overload
+	        the default values set by e-acsl-gcc instead of being ignored.
+
 #########################
 Plugin E-ACSL 26.0 (Iron)
 #########################
-- 
GitLab