diff options
Diffstat (limited to 'Build/source/texk/dvipsk')
-rw-r--r-- | Build/source/texk/dvipsk/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/ChangeLog b/Build/source/texk/dvipsk/ChangeLog index be4aff5159a..cde2f492927 100644 --- a/Build/source/texk/dvipsk/ChangeLog +++ b/Build/source/texk/dvipsk/ChangeLog @@ -11,6 +11,7 @@ (noaccentheightadjust): new global to remember it. (texheight): do nothing if -a is specified, or if the heuristically-guessed height is less than the original. + Bug report from Michael Sharpe. 2015-07-10 Peter Breitenlohner <peb@mppmu.mpg.de> |