On Sat, 21 Dec 2019, Eric Botcazou wrote:
> > Fixed thus, and verified with and without `--disable-libada', ensuring
> > that shared libgnat and libgnarl libraries arrive at their intended places
> > upon `make install'.
> >
> > OK to apply?
>
> Yes (modulo s/overriden/overridden), thanks for
> Fixed thus, and verified with and without `--disable-libada', ensuring
> that shared libgnat and libgnarl libraries arrive at their intended places
> upon `make install'.
>
> OK to apply?
Yes (modulo s/overriden/overridden), thanks for the quick turn around.
--
Eric Botcazou
