summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvipsk')
-rw-r--r--Build/source/texk/dvipsk/ChangeLog1
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>