summaryrefslogtreecommitdiffstats
path: root/NEWS
diff options
context:
space:
mode:
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS2
1 files changed, 2 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 596fbdd2..f1da73fd 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,5 @@
+Version 12 - 18 December 2008, Olivier Blin
+
- drop again diagnostics, strict, vars and warnings pragmas
(was kept since 10.18.7)
- enable to alter branding