diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 18f6aea6007dbce6ee709079529db98687120fd5..a284c18a55469e190c3a1f9eb59e248689b775e2 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,8 @@ Plugin E-ACSL <next-release> ############################ +-* e-acsl-gcc [2021-11-22] Fix e-acsl-gcc.sh detection of failures in + subcommands. - E-ACSL [2021-11-03] Improve runtime debug logs: the %a modifier now outputs in hexadecimal, the debug logs now all end in new lines, the trace now outputs to stderr.