K 10
svn:author
V 4
ngie
K 8
svn:date
V 27
2015-03-22T22:00:29.864281Z
K 7
svn:log
V 144
Defeat race with texinfo tools built with make bootstrap-tools

This is a direct commit to stable/10 because texinfo has been removed from
head

END