On Fri, 29 Nov 2019, Joseph Myers 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.
Committed, thanks for your review. Maciej