From 53fe81925820895e5657ec8c1d0389e96a0abc70 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 15 Sep 2017 10:57:57 +0200
Subject: Fix CHANGES after merge of PR #1025.

---
 CHANGES | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 796fbd043d..ca5172d7b7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -13,13 +13,16 @@ Tactics
   profiling, and "Set NativeCompute Profile Filename" customizes
   the profile filename.
 
+Changes from 8.7+beta1 to 8.7.0
+===============================
+
 Tools
 
 - In CoqIDE, the "Compile Buffer" command takes account of flags in
   _CoqProject or other project file.
 
-Changes from 8.6.1 to 8.7+beta
-==============================
+Changes from 8.6.1 to 8.7+beta1
+===============================
 
 Tactics
 
-- 
cgit v1.2.3