From 62bed22d2c104da07fc49b9c5f6229afedb92a07 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 29 Aug 2018 11:25:34 -0400
Subject: Move CHANGES entry for #8167 to 8.8.2 section

As per https://github.com/coq/coq/pull/8167#issuecomment-416929865
---
 CHANGES | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/CHANGES b/CHANGES
index 9bc2d2b369..a42c44c09b 100644
--- a/CHANGES
+++ b/CHANGES
@@ -82,10 +82,6 @@ Tools
   please open an issue. We can help set up external maintenance as part
   of Proof-General, or independently as part of coq-community.
 
-- The targets `print-pretty-timed`, `print-pretty-timed-diff`, and
-  `print-pretty-single-time-diff` now correctly label the "before" and
-  "after" columns, rather than swapping them.
-
 
 Vernacular Commands
 
@@ -158,7 +154,16 @@ Notations
   Note that this might cause incompatibilities if you have, e.g., list_scope
   and vector_scope both open with vector_scope on top, and expect `++` to
   refer to `app`.
-  Solution: wrap `_ ++ _` in `(_ ++ _)%list` (or whichever scope you want). 
+  Solution: wrap `_ ++ _` in `(_ ++ _)%list` (or whichever scope you want).
+
+Changes from 8.8.1 to 8.8.2
+===========================
+
+Tools
+
+- The coq-makefile targets `print-pretty-timed`, `print-pretty-timed-diff`,
+  and `print-pretty-single-time-diff` now correctly label the "before" and
+  "after" columns, rather than swapping them.
 
 Changes from 8.8.0 to 8.8.1
 ===========================
-- 
cgit v1.2.3