diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/lib/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog index 66a33f23c4d..1e7b8fe97ba 100644 --- a/Build/source/texk/web2c/lib/ChangeLog +++ b/Build/source/texk/web2c/lib/ChangeLog @@ -1,3 +1,10 @@ +2018-12-17 Igor Liferenko <igor.liferenko@gmail.com> + + * texmfmp.c (maininit): default to guessing an explicit &dumpname + as the "preloaded" (not really) format, if one was specified. + tex-k msgs of 23 Sep 2018 12:13:06, 23 Sep 2018 18:36:52. + (With comment and formatting tinkering from karl.) + 2018-12-17 Andreas Scherer <https://ascherer.github.io> * printversion.c (printversionandexit): Search for PROGNAME |