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 the quick turn around.
Thanks for catching the typo and the review. Change applied now. Maciej
