On Tue, 16 May 2017, Cesar Philippidis wrote: > Arguably, I probably should have split the backport into a separate > patch. However, I think this only impacts libgomp. And I was tempted to > just to copy the complete texinfo.tex file from texinfo 6.3, like it was > last done in 2012. However, I wasn't sure if that would have required > any strange dependencies.
texinfo.tex should be copied to trunk, from Texinfo SVN trunk, whenever there's a use for a new version of it (copying at any time while open for non-bug-fix changes is OK even if there isn't a specific use for a new version). -- Joseph S. Myers jos...@codesourcery.com
