https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88088
--- Comment #23 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Mark Wielaard from comment #22) > (In reply to Eric Gallager from comment #21) > > (In reply to Mark Wielaard from comment #20) > > > https://gcc.gnu.org/ml/gcc-patches/2018-11/msg02055.html > > > > Did this make it in? If not, have you pinged it lately? > > No, there was some review, I think we are generally good, but I am waiting > for stage1 to open. Stage1 has opened.