From 9c3e479f72c87c46ebdc5fc4923f5e983ea97466 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 13 May 2019 10:46:30 +0200
Subject: [PATCH] [release] 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 d548c07e389..7ba4c9affd7 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,10 @@
 #   configure	configure
 ###############################################################################
 
+##############################
+Plugin E-ACSL 19.0 (Potassium)
+##############################
+
 -  E-ACSL       [2019/04/29] Support for logic functions and predicates
 	        without labels.
 -  runtime      [2019/02/26] The behavior of __e_acsl_assert now depends on the
-- 
GitLab