CHANGES for 8.7.2.

1 files changed, 12 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 545925026..8d344d4f0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -89,6 +89,18 @@ Documentation
   moved to the GitHub wiki section of this repository; the main entry
   page is https://github.com/coq/coq/wiki/The-Coq-FAQ.
 
+Changes from 8.7.1 to 8.7.2
+===========================
+
+Fixed a critical bug in the VM handling of universes (#6677). This bug
+affected all releases since 8.5.
+
+Improved support for building with OCaml 4.06.0 and external num package.
+
+Many other bug fixes, documentation improvements, and user
+message improvements (for details, see the 8.7.2 milestone at
+https://github.com/coq/coq/milestone/11?closed=1).
+
 Changes from 8.7.0 to 8.7.1
 ===========================