Am 13.10.2020 um 22:16 schrieb Michael Käppler:
Running a doc build now with the new texinfo.tex version.
See new diffs against master here: https://drive.google.com/drive/folders/1czVl2glLVoQiUOLu1mvnWh9hozivaPuC?usp=sharing I don't know. Some bad examples are gone, while new ones appeared. Cheers, Michael
