From f1d69481e5faf2e8edc6a82424cb1b83f4ee1f7d Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 17 Dec 2014 15:52:03 +0100
Subject: [PATCH] changelog

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

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 776b0996f4f..af4b444dc68 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,7 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+o  E-ACSL       [2014/12/17] Export a minimal API for other plug-ins.
 -* E-ACSL       [2014/10/27] Add a missing cast when translating an integral
 	        type used in a floating point/real context in an annotation.
 
-- 
GitLab