From a1e722f6f3b7add2da9087a90742954a374d56f1 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 9 Oct 2023 09:59:02 +0200
Subject: [PATCH] Update Changelog following !4347
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index ce6f7c773f7..b4fcbe7d8c9 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
--
GitLab