diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 5a7d4b618dba3400398d2be044936114698e65bd..c988d92e0c9f25a6faf85cfe8ab5724c1e4ef286 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.