From edf83daeafdd0a8fd6d03cb4176b693a855afebe Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Tue, 17 Nov 2020 14:34:27 +0100
Subject: [PATCH] [eacsl] Update changelog

---
 src/plugins/e-acsl/doc/Changelog | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index cdc707e9ec8..bd67f1b6a3a 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       [2020-11-17] Update e-acsl-gcc.sh so that the library dlmalloc
+                can be compiled and used from sources.
+
 #############################
 Plugin E-ACSL 22.0 (Titanium)
 #############################
-- 
GitLab