In watchfile debian/watch, reading webpage https://ftp.gnu.org/gnu/texinfo/ failed: 500 Can't connect to ftp.gnu.org:443
Among the 2 debian patches available in version 7.2-4 of the package, we noticed the following issues:
commit d5e37e5a008f58e8594087b32c44223c3a4775bc Author: Hilmar Preuße <hille42@web.de> Date: Sun Sep 14 17:06:41 2025 +0200 Replace "configure call" by "dh_auto_configure". commit 4b92727edd1a1f6253ad217b5353c05da10bd40a Author: Hilmar Preuße <hille42@web.de> Date: Sat Sep 13 12:12:14 2025 +0200 Delete obsolete patches. commit df74aa994309dc5e47719718ffbfd84bb89932f6 Author: Hilmar Preuße <hille42@web.de> Date: Sat Sep 13 12:09:36 2025 +0200 Fix for Bug#1115088. commit c9c7a81fd2996f8d32a7cb9753e9db57b079cdeb Author: Hilmar Preuße <hille42@web.de> Date: Sat Sep 13 12:00:37 2025 +0200 Refresh patches.