From 1c506bb3d9128590f23a4872586a22d930672a69 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 22 Apr 2016 14:38:27 +0200
Subject: Mention problems with fix of #4582 in CHANGES.

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index b400ff1a80..79fe3642b2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -52,7 +52,7 @@ Other bugfixes
 - #4540: CoqIDE bottom progress bar does not update.
 - Fix regression from 8.4 in reflexivity
 - #4580: [Set Refine Instance Mode] also used for Program Instance.
-- #4582: cannot override notation [ x ].
+- #4582: cannot override notation [ x ]. MAY CREATE INCOMPATIBILITIES, see #4683.
 - STM: Print/Extraction have to be skipped if -quick
 - #4542: CoqIDE: STOP button also stops workers
 - STM: classify some variants of Instance as regular `Fork nodes.
-- 
cgit v1.2.3