From 85ddf223e4cc8035f45647f9ecf00b204fe60b15 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 14 Dec 2017 17:17:41 +0100
Subject: 8.7.1 CHANGES.

---
 CHANGES | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/CHANGES b/CHANGES
index b2b9da8ced..e54e9f77b6 100644
--- a/CHANGES
+++ b/CHANGES
@@ -42,6 +42,14 @@ Checker
 
 - The checker now accepts filenames in addition to logical paths.
 
+Changes from 8.7.0 to 8.7.1
+===========================
+
+Compatibility with OCaml 4.06.0.
+
+Many bug fixes, documentation improvements, and user message improvements (for
+details see the 8.7.1 milestone at https://github.com/coq/coq/milestone/10?closed=1).
+
 Changes from 8.7+beta2 to 8.7.0
 ===============================
 
-- 
cgit v1.2.3