https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68950
--- Comment #12 from Tom de Vries <vries at gcc dot gnu.org> --- (In reply to Eric Gallager from comment #9) > (In reply to Tom de Vries from comment #8) > > (In reply to vries from comment #6) > > > posted RFC: https://gcc.gnu.org/ml/gcc-patches/2015-12/msg01749.html > > > > pinged: https://gcc.gnu.org/ml/gcc-patches/2016-01/msg00831.html > > Please keep pinging! ping^2: https://gcc.gnu.org/ml/gcc-patches/2018-05/msg00876.html
