Fix ordering of before/after in print-pretty-timed-*

Fixes #8158

1 files changed, 5 insertions, 0 deletions

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