From 43c8e1b856da8cc197b0091124ffe0c520f5eb53 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Tue, 26 Feb 2019 09:13:05 +0100
Subject: Update Changelog in preparation for release 3.5

---
 Changelog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index e4ef5b12..e5e701d0 100644
--- a/Changelog
+++ b/Changelog
@@ -25,7 +25,7 @@ Coq development:
 - Support Coq version 8.9.0
 - Avoid using "refine mode" when defining Instance
   (contributed by Maxime Dénès)
-- Do not support Menhir versions more recent than 20181026, because
+- Do not support Menhir versions more recent than 20181113, because
   they will introduce an incompatibility with this CompCert release.
 
 New feature:
-- 
cgit