diff options
Diffstat (limited to 'Build/source/texk/web2c/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index 819df641297..1aeba1e8e89 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,8 @@ +2015-08-10 Peter Breitenlohner <peb@mppmu.mpg.de> + + * pltotf.ch, vptovf.ch: Send also real numbers to stderr, + completing the change from 2015-01-09 (report from Norbert). + 2015-07-28 Peter Breitenlohner <peb@mppmu.mpg.de> * dvitype.ch: Removed a spurious duplicate statement. |