> From: Jonathan Wakely <[email protected]> > Date: Mon, 12 Jul 2021 18:15:26 +0100 > Cc: Matthias Kretz <[email protected]>, "[email protected]" <[email protected]> > > > Gavin Smith, the GNU Texinfo maintainer, responded in detail to that > > list. However, his message didn't get through to the list, for some > > reason. > > It did: > https://gcc.gnu.org/pipermail/gcc/2021-July/236744.html > https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574987.html
That's not the message I was talking about. Gavin sent another, which didn't get posted.
