Diff texinfo-7.1.1 with a texinfo-7.2-r2

Thank you!