K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2014-09-14T18:19:53.269272Z
K 7
svn:log
V 122
Fix build with makeinfo version 5.2.

Obtained from:	https://github.com/heimdal/heimdal/commit/1846c7a35d1091d3b6140c
56b

END