From 8524d0b010d909092b554c4d61390a4f15da2d2e Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 26 Aug 2020 15:10:57 +0200
Subject: [PATCH] [e-acsl:changelog] fixed duplicated entries
---
src/plugins/e-acsl/doc/Changelog | 3 ---
1 file changed, 3 deletions(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 65af1bd039b..04887adaf2c 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -32,9 +32,6 @@ Plugin E-ACSL <next-release>
-* E-ACSL [2020-07-20] Fix unstable order of generated globals.
(frama-c/e-acsl#124)
-* E-ACSL [2020-07-10] Fix translation of trange (incorrect length).
--* E-ACSL [2020-07-09] Decrease the number of allocated blocks when one
- block is freed.
--* E-ACSL [2020-07-10] Fix translation of trange (incorrect length).
-* E-ACSL [2020-07-09] Decrease the number of allocated blocks when one
block is freed.
- E-ACSL [2020-06-19] Add support to create GMP rational from GMP
--
GitLab