diff options
Diffstat (limited to 'doc/changes.src')
| -rw-r--r-- | doc/changes.src | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/changes.src b/doc/changes.src index 1bc8f2aa..8e0bc060 100644 --- a/doc/changes.src +++ b/doc/changes.src @@ -31,6 +31,12 @@ filename. See \k{opt-MD}. \b Fix \c{-E} in combination with \c{-MD}. See \k{opt-E}. +\b Fix missing errors on redefined labels; would cause convergence +failure instead which is very slow and not easy to debug. + +\b Duplicate definitions of the same label \e{with the same value} is now +explicitly permitted (2.14 would allow it in some circumstances.) + \S{cl-2.14} Version 2.14 \b Changed \c{-I} option semantics by adding a trailing path separator |