From 8c37c081197ab56efabe3ec546087faf3d328c04 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 20 Sep 2018 18:01:50 +0200
Subject: CHANGES for 8.8.2.

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

diff --git a/CHANGES b/CHANGES
index 453d82758a..87cf86e1eb 100644
--- a/CHANGES
+++ b/CHANGES
@@ -231,6 +231,14 @@ Kernel
   polymorphic universe binders, fixing a soundness break (triggered
   only through custom plugins)
 
+Windows installer
+
+- The Windows installer now includes many more external packages that can be
+individually selected for installation.
+
+Many other bug fixes and lots of documentation improvements (for details,
+see the 8.8.2 milestone at https://github.com/coq/coq/milestone/15?closed=1).
+
 Changes from 8.8.0 to 8.8.1
 ===========================
 
-- 
cgit v1.2.3