From ce4924636d295a84a8c935e5243584ee0c2cd3ea Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 7 Mar 2024 17:44:29 +0000
Subject: [PATCH] Update Changelog following !4421
---
Changelog | 1 +
1 file changed, 1 insertion(+)
diff --git a/Changelog b/Changelog
index 34b4bcedbe9..c025fd79af4 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,7 @@
Open Source Release <next-release>
###############################################################################
+-* Variadic [2024-03-07] Make sure that generated functions have fresh names
o! Kernel [2024-03-07] More coherent naming of functions determining if a
symbol is a Frama-C built-in.
-* Kernel [2024-03-04] Accept conditional expr whose 2d and 3d operands
--
GitLab