From 522fbcc49a44aa5cbae6b0c13dc35f53f48227a4 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Thu, 26 Jul 2018 12:02:59 -0400
Subject: Fix ordering of before/after in print-pretty-timed-*

Fixes #8158
---
 CHANGES | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index df4a1df176..d7be066690 100644
--- a/CHANGES
+++ b/CHANGES
@@ -76,6 +76,11 @@ 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
 
 - Removed deprecated commands Arguments Scope and Implicit Arguments
-- 
cgit v1.2.3