From 99ef2731d1e2c93a11e826a759ff76babe4b875b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 14 Feb 2018 16:49:26 +0100
Subject: CHANGES for 8.7.2.

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

diff --git a/CHANGES b/CHANGES
index 545925026c..8d344d4f09 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
 ===========================
 
-- 
cgit v1.2.3