On Fri, 29 Nov 2019, Maciej W. Rozycki wrote: > On Wed, 20 Nov 2019, Maciej W. Rozycki wrote: > > > The `--enable-version-specific-runtime-libs' configuration option is now > > supported throughout all of our target library subdirectories, so update > > installation documentation accordingly and also mention that the default > > for the option is `yes' for libada and `no' for the remaining libraries. > > Ping for: > > <https://gcc.gnu.org/ml/gcc-patches/2019-11/msg01974.html>
This patch is OK. -- Joseph S. Myers jos...@codesourcery.com
