Update Changelog after MR !2742

cfee9261 · Virgile Prevosto · 62603b24 · cfee9261
Commit cfee9261 authored 4 years ago by Virgile Prevosto
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,7 @@
 Open Source Release <next-release>
 ##################################

+-   ACSL      [2020-10-16] Allows for axiomatic blocks-like extensions
 -   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.