From ca61a4699395ac9988869a6e14aa1107c1957c5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 19 Apr 2018 10:29:59 +0200
Subject: [PATCH] Updates Changelog header for Chlorine release.

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

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 56e12f92853..44f1e627bed 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,10 @@
 #   configure	configure
 ###############################################################################
 
+###############################
+Plugin E-ACSL Chlorine-20180501
+###############################
+
 -  E-ACSL       [2018/03/30] Support for let binding.
 -  E-ACSL       [2018/02/21] New option -e-acsl-replace-libc-functions to
 	        replace a few libc functions by built-ins that efficiently
-- 
GitLab