summaryrefslogtreecommitdiffstats
path: root/NEWS
diff options
context:
space:
mode:
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS3
1 files changed, 3 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index d3159996..d5dbe467 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,6 @@
+- drop again diagnostics, strict, vars and warnings pragmas
+ (was kept since 10.18.7)
+
Version 11.9 - 4 October 2008, Olivier Blin
- do not show banner when no application is embedded