"Gavin Smith" <[email protected]> writes: > I have acquired the files. I have made some changes to texinfo.tex > that should fix the problem and committed them to the source-control > repository.
Many thanks for fixing this. I grabbed \texinfoversion{2016-07-31.17}
and it works.
Best, Arash
