From 95b04506542064fbda7a61c4b6ce276a668d25bd Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 21 Oct 2015 16:40:51 +0200
Subject: Mention bug 3199 fix as a source of incompatibilities.

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

diff --git a/CHANGES b/CHANGES
index 9f46131363..cf0f4446f4 100644
--- a/CHANGES
+++ b/CHANGES
@@ -33,6 +33,9 @@ Tactics
   already do.
 - Importing Program no longer overrides the "exists" tactic (potential source
   of incompatibilities).
+- Hints costs are now correctly taken into account (potential source of
+  incompatibilities).
+
 
 API
 
-- 
cgit v1.2.3