K 10
svn:author
V 6
johans
K 8
svn:date
V 27
2012-12-16T13:47:16.820168Z
K 7
svn:log
V 51
Correct checksum of texinfo.tex

Reported b:	jhale

END