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

[Mike Stump]

On Apr 17, 2019, at 8:59 AM, Jakub Jelinek <ja...@redhat.com> wrote:
> Ok for trunk?

Ok.