diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 895cf0760cba2575c3cd6d44173dce9bf685f798..c2f641d12e679ad153032a3f562fd5692e4cd464 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -30,11 +30,6 @@ Plugin E-ACSL 29.0 (Copper) ############################################################################### -! E-ACSL [2024-04-04] remove option -e-acsl-version. - -############################################################################### -Plugin E-ACSL 29.0 (Copper) -############################################################################### - -* E-ACSL [2024-04-05] fix TLS segment start address and size ###############################################################################