diff --git a/Changelog b/Changelog
index 5c98c77edf6b02d5962a3ae8fd3095da8ece1248..1fc3c4520e359bda43eb2add1037d0e2e7e2abc7 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,9 @@
 Open Source Release <next-release>
 ##################################
 
+-   Variadic  [2020-10-14] Don't print generated function name but print
+              original name and a comment with the generated name so that the
+              printed code is compilable.
 -   Aorai     [2020-10-13] Ya automata can set auxiliary variables during a
               transition, and use such variables in subsequent guards.
 -   Kernel    [2020-10-09] Add option -print-config-json, to output Frama-C
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 16021662988a299c7af23cf63345da8266f85b47..4a62c24a6da0fb541c6fba8bafb8e7a27a73ad55 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-  E-ACSL       [2020-10-14] Add Support for Variadic generated functions in
+                the AST (frama-c/e-acsl#128).
 -  E-ACSL       [2020-10-06] Add support for the `\separated` predicate.
                 (frama-c/e-acsl#31)
 -* E-ACSL       [2020-10-06] Fix a soundness bug when translating a range with a