Mention bug 3199 fix as a source of incompatibilities.

1 files changed, 3 insertions, 0 deletions

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