diff --git a/Changelog b/Changelog
index c025fd79af4f75b046477d0c89e88c14e2305ceb..d16a77beca8405b300555d09c2b7114144408461 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,9 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-    Kernel   [2024-03-26] Introduce \plugin:: prefix for ACSL extensions,
+                           unknown extensions can be safely ignored when the
+                           plug-in that handles them is not available
 -*   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.
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index bf3d94cc895d1703c781a69fb9e96ce45898c8b0..98675f9071e26568945b029c8f1ab51997678a51 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,8 @@
 Plugin WP <next-release>
 ###############################################################################
 
+- WP          [2024-03-26] wp_nullable_args is renamed \wp::nullable_args to
+                           follow kernel changes
 - WP          [2024-01-24] Introduce counter examples via the new option
                            -wp-counter-examples. Also introduce an ACSL extension
                            to create probes on terms for counter examples.