On Thu, 5 Jun 2025, Marek Polacek wrote: > Coming back to a project I first attempted here: > <https://gcc.gnu.org/pipermail/gcc-patches/2022-May/595539.html> > but this time following steps as outlined by Joseph here: > <https://gcc.gnu.org/pipermail/gcc/2024-October/244956.html>. > > This patch does step (a). > > Patch to update the GCC manual to follow. > > Ok for wwwdocs?
OK. -- Joseph S. Myers josmy...@redhat.com
