diff options
author | Karl Berry <karl@freefriends.org> | 2018-12-17 17:45:10 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-12-17 17:45:10 +0000 |
commit | c55e9a1c36849dc79edf07b43e648d3c46da8214 (patch) | |
tree | cb10569403bfd3d231255631d014d88bb9ccd5b7 /Build/source/texk/web2c/lib/ChangeLog | |
parent | bf672f1d85e85af16e5789636c49a24b4d274ce5 (diff) |
do not assume "This is" prefix in banner (from AndreasS)
git-svn-id: svn://tug.org/texlive/trunk@49432 c570f23f-e606-0410-a88d-b1316a301751
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. |