Restored the history (and mergedinfo) of doc/texinfo.tex [[Tag from zero-fileop commit at Subversion r11892]] [From SVN r11892]
Restored the history (and mergedinfo) of doc/texinfo.tex [[Tag from zero-fileop commit at Subversion r11892]] [From SVN r11892]