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

2019-04-17 Thread Christophe Lyon
On Wed, 17 Apr 2019 at 18:44, Mike Stump wrote: > > On Apr 17, 2019, at 8:59 AM, Jakub Jelinek wrote: > > Ok for trunk? > > Ok. Thanks!

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

2019-04-17 Thread Mike Stump
On Apr 17, 2019, at 8:59 AM, Jakub Jelinek wrote: > Ok for trunk? Ok.