On Mon, 12 Jul 2021 at 18:24, Eli Zaretskii wrote: > > > 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.
Ah, then he'll have to try resending it. There's nothing to "release", if the mail didn't get through then it's gone, not in a mod queue.
