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

Mon, 10 Aug 2020 15:58:22 -0700 

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

Ok.

Reply via email to