From 4591e1355d8999b36e238afeab6bb8de9f6b48ec Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 24 May 2017 09:48:23 +0200
Subject: [PATCH] tag Changelog with version number

---
 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 a7153b2b6de..e86a92d6005 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,10 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+#################################
+Plugin E-ACSL Phosphorus-20170515
+#################################
+
 -  E-ACSL       [2017/03/29] The (much more efficient) shadow memory model is
 	        now used by default.
 -* E-ACSL       [2017/03/28] Fix backtrace when the failed instrumented programs
-- 
GitLab