From 5b0c9d1fa728ad87b0af8e1981a7a3bd31d79cee Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Tue, 8 Dec 2015 17:17:23 +0100
Subject: [PATCH] Add a changelog entry about fixing issue #0001817

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

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 5530d826bcc..4010468d9d2 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,8 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL		[2015/08/12] Fix bug #0001817: Literal strings in global
+			arrays with compound initializers are not correctly initialized.
 -* E-ACSL       [2015/11/06] Fix a crash occuring when using a recent libc
 	        while GMP headers provided by E-ACSL are used.
 
-- 
GitLab