aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
diff options
context:
space:
mode:
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES2
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 3fd784affe..a8de063188 100644
--- a/CHANGES
+++ b/CHANGES
@@ -40,6 +40,8 @@ Notations
- A notation can be given a (compat "8.x") annotation, making
it behave like a (only parsing), but flags may active warning
or error when this notation is used.
+- More systematic insertion of spaces as a default for printing
+ notations ("format" still available to override the default).
Internal Infrastructure