Re: [PATCH] Handle timeout warnings in dg-extract-results

Mon, 04 Feb 2019 00:56:17 -0800 

On Sat, 2 Feb 2019 at 00:13, Mike Stump <[email protected]> wrote:
>
> On Jan 23, 2019, at 5:16 AM, Christophe Lyon <[email protected]> 
> wrote:
> > What do people think about this?
>
> Seems reasonable.

Thanks, committed as r268511.

Christophe

Reply via email to