> From: Jonathan Wakely <jwakely....@gmail.com> > Date: Mon, 12 Jul 2021 18:15:26 +0100 > Cc: Matthias Kretz <m.kr...@gsi.de>, "gcc@gcc.gnu.org" <gcc@gcc.gnu.org> > > > 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.
