From c385838b3c0e48c1b074598c7cf4a418d000c0e8 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 5 Oct 2017 19:48:58 +0200
Subject: 8.7+beta2 CHANGES

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

diff --git a/CHANGES b/CHANGES
index fdf0c9d6be..08c609cfa7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -13,14 +13,22 @@ Tactics
   profiling, and "Set NativeCompute Profile Filename" customizes
   the profile filename.
 
-Changes from 8.7+beta1 to 8.7.0
-===============================
+Changes from 8.7+beta1 to 8.7+beta2
+===================================
 
 Tools
 
 - In CoqIDE, the "Compile Buffer" command takes account of flags in
   _CoqProject or other project file.
 
+Improvements around some error messages.
+
+Many bug fixes including two important ones:
+
+- BZ#5730: CoqIDE becomes unresponsive on file open.
+- coq_makefile: make sure compile flags for Coq and coq_makefile are in sync
+  (in particular, make sure the `-safe-string` option is used to compile plugins).
+
 Changes from 8.6.1 to 8.7+beta1
 ===============================
 
-- 
cgit v1.2.3