K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2019-12-28T17:55:15.326691Z
K 7
svn:log
V 92
Fix r521031 to correctly handle the case when texinfo is already installed
but INFO is off.

END