diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/lib/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog index a6e44c1548f..af6eed7223f 100644 --- a/Build/source/texk/web2c/lib/ChangeLog +++ b/Build/source/texk/web2c/lib/ChangeLog @@ -1,3 +1,8 @@ +2008-03-16 Karl Berry <karl@tug.org> + + * texmfmp.c (maininit): don't append DUMP_EXT if it's already + there. Report from Hans. + 2008-03-09 Karl Berry <karl@tug.org> * texmfmp.c (maketexstring) [!MP]: only define this fn if !MP, |