diff --git a/Changelog b/Changelog
index 75135d6742111c6a105df9cb651d10830b8a3b98..613f2a54569cd4de76a8584a99daa7c7aa480e5f 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,7 @@
 Open Source Release <next-release>
 ###############################################################################
 
+o   Kernel    [2024-07-30] mapNoCopy moved to Extlib and deprecated in Cil
 -   Kernel    [2024-05-20] New ACSL extension loop unfold (replaces loop pragma UNROLL)
 -!  Kernel    [2024-05-20] Removed loop pragma UNROLL annotations
 o!  Kernel    [2024-05-20] Renamed module Unroll_loop into Unfold_loop