From 948d3da85260611379563d82e31d77400afdcaca Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 26 Oct 2020 09:14:25 +0100
Subject: [PATCH] Changelog: updated missing date
---
Changelog | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Changelog b/Changelog
index 84d1d37a535..6d398701e60 100644
--- a/Changelog
+++ b/Changelog
@@ -31,7 +31,7 @@ Open Source Release 22.0 (Titanium)
transition, and use such variables in subsequent guards.
- Kernel [2020-10-09] Add option -print-config-json, to output Frama-C
configuration data in JSON format.
-- Logic [2020-10-XX] '\from' now accepts '&v' expressions
+- Logic [2020-10-14] '\from' now accepts '&v' expressions
- Metrics [2020-10-01] Distinguish between undefined but specified functions
and functions with neither definition nor specification.
-* Eva [2020-09-28] Improved string builtins on wide strings: crash fixed,
--
GitLab