diff --git a/Changelog b/Changelog
index ce6f7c773f7da4628102b60b68a6986a661b5ea6..b4fcbe7d8c9a1fe1815abe00a3246ff9a70b2973 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,8 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-!  Kernel    [2023-10-09] Remove options -no-type and -no-obj and related
+              functions.
 o!  Kernel    [2023-10-03] New mechanism for generating default specifications
 -   Kernel    [2023-10-03] New options -generated-spec-mode and
               -generated-spec-custom for configuring how default specifications