Re: RFC: Monitoring old PRs, new dg directives [v2]

[Mike Stump via Gcc-patches]

On Aug 10, 2020, at 2:30 PM, Marek Polacek via Gcc-patches 
<gcc-patches@gcc.gnu.org> wrote:
> 
> Thanks a lot.  Here's the latest version of my patch, which only adds dg-ice
> at this point.
> 
> So, um, OK?

Ok.