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

[Christophe Lyon]

On Sat, 2 Feb 2019 at 00:13, Mike Stump <mikest...@comcast.net> wrote:
>
> On Jan 23, 2019, at 5:16 AM, Christophe Lyon <christophe.l...@linaro.org> 
> wrote:
> > What do people think about this?
>
> Seems reasonable.

Thanks, committed as r268511.

Christophe