From 73c4de2d46fff171883965aafdac1ab5b2bb330e Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 18 Jul 2016 10:14:10 +0200
Subject: Update Changelog for release 2.7.1

---
 Changelog | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 801540a9..c3edb0fd 100644
--- a/Changelog
+++ b/Changelog
@@ -1,9 +1,15 @@
-Release 2.7.1, 2016-07-10
+Release 2.7.1, 2016-07-18
 =========================
 
-- Ported to Coq 8.5pl2.  No other changes in functionality.
+- Ported to Coq 8.5pl2.
 
+Bug fixing:
+- Fixed a compile-time assertion failure involving builtins
+  taking a 64-bit integer parameter and given an unsigned 32-bit integer
+  argument.
+- Updates to the Cminor parser.	
 
+	
 Release 2.7, 2016-06-29
 =======================
 
-- 
cgit