https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88088
--- Comment #22 from Mark Wielaard <mark at gcc dot gnu.org> --- (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.