K 10
svn:author
V 6
johans
K 8
svn:date
V 27
2015-11-08T12:03:53.900773Z
K 7
svn:log
V 104
- Update texinfo.tex to latest version
- Add http mirror to improve chances of finding a working mirror

END