From e325b686a8bff280e7277f1badc90414245238e5 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 16 Mar 2016 18:30:21 +0100
Subject: [PATCH] [Changelog] Added a changelog entry regarding bugfixes in
 partial initialization of tracked memory blocks

---
 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 9544a709df4..5f0f154d945 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,9 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2016/01/15] Fixed several bugs related to incorrect partial
+	        initialization of tracked memory blocks in the E-ACSL runtime
+	        library.
 -* E-ACSL       [2016/02/25] Fix 'make clean' in tests.
 
 ###########################
-- 
GitLab