Re: [PATCH] Fix up dg-extract-results.sh

[Christophe Lyon]

On Wed, 17 Apr 2019 at 18:44, Mike Stump <mikest...@comcast.net> wrote:
>
> On Apr 17, 2019, at 8:59 AM, Jakub Jelinek <ja...@redhat.com> wrote:
> > Ok for trunk?
>
> Ok.

Thanks!