https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82141

simon at pushface dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |simon at pushface dot org

--- Comment #10 from simon at pushface dot org ---
(In reply to Eric Botcazou from comment #3)
> > For how long?
> 
> Only God really knows I presume...  You can try the latest iteration:
>   https://gcc.gnu.org/ml/gcc-patches/2017-09/msg00045.html

It’s out of my hands, of course, since I don’t have commit rights.
Perhaps I need to be more explicit in the title of the patch mail, to
attract the attention of knowledgable persons? e.g.

   [PATCH] PR target/80556 bootstrap failure on Darwin

instead of just

   [PATCH] PR target/80556

There are probably good reasons why that PR was labelled target/ -
shouldn’t it be bootstrap/ ?

Just for info, this bug is still present at r251951.

Reply via email to