From ac2fc8fa2be9831c3479610373e368e49b20292b Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 8 Aug 2014 14:38:29 +0200
Subject: [PATCH] update Changelog

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

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index a0cc7fef9f4..41b61fc71f4 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,11 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+########################
+Plugin E-ACSL 0.4.1 Neon
+########################
+
+-* E-ACSL       [2014/08/05] Fix bug #1838 about memset.
 -* E-ACSL       [2014/08/05] Fix bug #1818 about initialization of globals.
 -* E-ACSL       [2014/08/04] Fix bug #1696 by clarifying the manual.
 -* E-ACSL       [2014/08/04] Fix bug #1831 about argc and argv.
-- 
GitLab