diff --git a/Changelog b/Changelog index 9d9a0e825cfb190044be68b7e35165d2d741b64e..623565a33191e0e7cc2981f02586ebe6513117f2 100644 --- a/Changelog +++ b/Changelog @@ -18,6 +18,8 @@ Open Source Release <next-release> ############################################################################### +o! Kernel [2023-09-25] Remove Dynamic.Unloadable exception, useless since + the move from dynamic to static API for plug-ins. - Alias [2023-09-07] New alias plugin that implements a points-to analysis and an alias analysis based on Steensgaard's algorithm. For these purposes it presents a more efficient (albeit less