print/texinfo: Update to 7.2
Changes: https://git.savannah.gnu.org/cgit/texinfo.git/plain/NEWS
https://lists.gnu.org/archive/html/bug-texinfo/2024-09/msg00041.html https://lists.gnu.org/archive/html/bug-texinfo/2024-12/msg00043.html
PR: 290581
Exp-run by: antoine