diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index cee7364cd1eed5e76edded1bdafcca3563b82e63..94a2f9527eb7681a9a9ffb57da1a241f4f9e4220 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) #########################