1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index a9ce5260a..6ea680153 100644
--- a/CHANGES
+++ b/CHANGES
@@ -100,6 +100,9 @@ Tools
 - Setting [Printing Dependent Evars Line] can be unset to disable the
   computation associated with printing the "dependent evars: " line in
   -emacs mode
+- Removed the -verbose-compat-notations flag and the corresponding Set
+  Verbose Compat vernacular, since these warnings can now be silenced or
+  turned into errors using "-w".
 
 Changes from V8.5pl2 to V8.5pl3
 ===============================