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

--- Comment #9 from Steve Kargl <sgk at troutmask dot apl.washington.edu> ---
On Mon, Apr 23, 2018 at 07:46:59PM +0000, gs...@t-online.de wrote:
> 
> --- Comment #8 from G. Steinmetz <gs...@t-online.de> ---
> > These should have a new PR opened for them.
> Done. This is now pr85506.
> 

Thanks.  I had intended to open the new PR when I committed
the patch, but a severe lack of time has caused a delay.

Reply via email to