diff --git a/Changelog b/Changelog index fdeab1fa81a4f63f4457c77819a04b02671bb6a4..daab89f1551ddcfb53ffe9cb230de4f6a74d7a1b 100644 --- a/Changelog +++ b/Changelog @@ -17,6 +17,7 @@ Open Source Release <next-release> ################################## +- Libc [2019/08/05] Remove obsolete (and forcing cpp error) builtins.h o! Kernel [2019/08/02] Functions over visitor's behaviors have been moved from Cil into a new module Visitor_behavior. Apply the migration script potassium2calcium.sh to update your plug-ins automatically.