From 29c89a0da191eaf04e81a5bc0743ebd00d9588f4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 30 Oct 2018 09:53:17 +0100
Subject: [PATCH] Adds the Argon header to the Changelog.

---
 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 d9bb44c7d8d..36f1ff2a80e 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,10 @@
 #   configure	configure
 ###############################################################################
 
+##########################
+Plugin E-ACSL 18.0 (Argon)
+##########################
+
 -* E-ACSL       [2018/10/23] Fix bug #2406 about monitoring of variables
 	        with incomplete types.
 -* E-ACSL       [2018/10/04] Fix bug #2386 about incorrect typing when
-- 
GitLab