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 00ddce68bef..66a33f23c4d 100644 --- a/Build/source/texk/web2c/lib/ChangeLog +++ b/Build/source/texk/web2c/lib/ChangeLog @@ -1,3 +1,8 @@ +2018-12-17 Andreas Scherer <https://ascherer.github.io> + + * printversion.c (printversionandexit): Search for PROGNAME + in banner independent of 'This is' prefix. + 2018-11-19 Akira Kakuto <kakuto@fuk.kindai.ac.jp> * texmfmp.c: Remove unused functions for XeTeX. |