From e73d5db97cdb22cce2ee479469f62af3c4b6264a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 8 Jul 2016 14:43:57 +0200
Subject: Port to Coq 8.5pl2

Manual merging of branch jhjourdan:coq8.5.
No other change un functionality.
---
 Changelog | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 861de5bc..801540a9 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,9 @@
+Release 2.7.1, 2016-07-10
+=========================
+
+- Ported to Coq 8.5pl2.  No other changes in functionality.
+
+
 Release 2.7, 2016-06-29
 =======================
 
-- 
cgit