https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050
Eric Gallager <egallager at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dmalcolm at gcc dot gnu.org, | |egallager at gcc dot gnu.org --- Comment #8 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to jos...@codesourcery.com from comment #6) > A replacement for MetaHTML is already available, we just need to switch to > using it. > > https://gcc.gnu.org/ml/gcc-patches/2018-06/msg00176.html cc-ing its author