From 25014277624387ecba1befb60f1c54d68eadab01 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 25 Jan 2019 10:30:53 +0100
Subject: Added a line about notation bug fixes.

---
 CHANGES.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index bcdb951a94..4b0cf31a1f 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -49,6 +49,9 @@ Notations
 - New command `String Notation` to register string syntax for custom
   inductive types.
 
+- Various bugs have been fixed (e.g. PR #9214 on removing spurious
+  parentheses on abbreviations shortening a strict prefix of an application).
+
 Plugins
 
 - The quote plugin (https://coq.inria.fr/distrib/V8.8.1/refman/proof-engine/detailed-tactic-examples.html#quote)
-- 
cgit v1.2.3