diff --git a/Changelog b/Changelog
index 5f91ac2bd11f06989514a28f18bf0f169a0bda61..1a24b1ee345db22cafddaece6ef5eee8868f1fa0 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-   Eva       [2020/04/10] Fixes the Memexec cache on functions with logical
+              annotations about variables unused in the C body of the function.
 -   Eva       [2020/04/06] New option -eva-domains-function to enable domains
               only on given functions. Argument <d:f> enables the domain [d]
               on function [f], while <d:f+> also enables it on all functions