https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59694
--- Comment #7 from Damian Rouson <damian at sourceryinstitute dot org> --- > On Dec 4, 2016, at 12:45 AM, janus at gcc dot gnu.org > <gcc-bugzi...@gcc.gnu.org> wrote: > > --- Comment #5 from janus at gcc dot gnu.org --- > (In reply to Damian Rouson from comment #4) >> I meant to mark a different PR as invalid but marked this one mistakenly. > > Which one? 78161, which I have now marked as invalid. > So, should we reopen this one? Yes. I didn’t previously understand the options. I just discovered the “reopened” option and submitted the change to reopen this. Hopefully this PR is finally back in the correct state. Damian
