On Thu, 2 Apr 2020, Maciej W. Rozycki wrote: > > OK. Can you also update gcc-10/changes.html? > > Change now applied, thank you for your review, and patch posted for > wwwdocs [I meant to give a link to the message in the archive here, but it > seems behind by ~2.5 hours; something to look into and fix too, perhaps? > The old archive was live as messages went through.].
I confused the archives, not being used to the new layout, so the message may have actually been recorded in a timely manner. Sorry about that. Patch is here: <https://gcc.gnu.org/pipermail/gcc-patches/2020-April/543144.html>. Maciej