aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2016-10-06 11:14:08 +0200
committerGravatar Maxime Dénès <mail@maximedenes.fr>2016-10-06 11:17:36 +0200
commitd0dda9c419894460de952d4b9342ea6518d24f83 (patch)
treebd087afa6b337692e21e4c4d7823af349ed745d0 /CHANGES
parent82fe255fa41d22b07cee6ad65253707dbda7ce0b (diff)
Remove the Set Verbose Compat option and turn the warning on by default.
These warnings can now be configured like any other, so we don't need a specific option anymore.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES3
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
===============================