From 95d9d8a4b32abcc218b033b8d9bb06550e18f66b Mon Sep 17 00:00:00 2001 From: Thibault Martin <thi.martin.pro@pm.me> Date: Mon, 13 May 2024 17:37:32 +0200 Subject: [PATCH] [e-acsl] Remove duplicated changelog version --- src/plugins/e-acsl/doc/Changelog | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 895cf0760cb..c2f641d12e6 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 ############################################################################### -- GitLab