Re: [PATCH 1/2] testsuite: Introduce dejagnu_version

Simon Marchi
2017-03-13T22:03:13Z

On 2017-03-13 17:54, Pedro Alves wrote:
> OK.
>
> Thanks,
> Pedro Alves

Both patches pushed.

Thanks,

Simon