On Sep 23 2019, Gavin Smith <[email protected]> wrote: > https://ftp.gnu.org/gnu/texinfo/texinfo-6.7.tar.xz
That file is still missing. Was there any issue during upload? Andreas. -- Andreas Schwab, [email protected] GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
