diff --git a/CHANGES.md b/CHANGES.md
index 71721662..7fac809e 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -13,6 +13,12 @@ next
 - Accept and ignore `ppx.driver` fields in library stanzas, in
   preparation for the generic ppx driver system (#588)
 
+- Change the default behavior regarding the check for overlaps between
+  local and installed libraries. Now even if there is no link time
+  conflict, we don't allow an external dependency to overlap with a
+  local library, unless the user specifies `allow_overlapping_dependencies`
+  in the jbuild file (#587, fixes #562)
+
 1.0+beta18 (25/02/2018)
 -----------------------