> 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
