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

[Mike Stump]

On Jan 23, 2019, at 5:16 AM, Christophe Lyon <christophe.l...@linaro.org> wrote:
> What do people think about this?

Seems reasonable.