Adds the Argon header to the Changelog.

29c89a0d · David Bühler · efbeb3dc · 29c89a0d
Commit 29c89a0d authored 6 years ago by David Bühler
--- 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