From 379e02867d4d9dfc24ec6ab44e28db9bd5dd13f6 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 9 Dec 2020 15:33:02 +0100
Subject: [PATCH] [eacsl:doc] Update 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 5a7d4b618db..c988d92e0c9 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,7 @@
Plugin E-ACSL <next-release>
############################
+- E-ACSL [2020-12-09] Add RTL support for Windows.
- E-ACSL [2020-11-17] Update e-acsl-gcc.sh so that the library dlmalloc
can be compiled and used from sources.
--
GitLab