Re: [PATCH] Bump libgnat to 9.

[Jeff Law]

On 06/30/2018 07:52 AM, Martin Liška wrote:
> Hi.
> 
> Quite obvious change where I bumped version to 9.
> 
> Ready for trunk?
> Thanks,
> Martin
> 
> gcc/ada/ChangeLog:
> 
> 2018-06-30  Martin Liska  <mli...@suse.cz>
> 
>     * gnatvsn.ads: Bump Library_Version to 9.
OK
jeff