1 files changed, 8 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 2b057f3632..d6e92a9bf3 100644
--- a/CHANGES
+++ b/CHANGES
@@ -52,6 +52,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
 ===============================