K 10 svn:author V 6 johans K 8 svn:date V 27 2014-05-11T20:22:35.104210Z K 7 svn:log V 40 Update to latest version of texinfo.tex END