1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 9f4613136..cf0f4446f 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