[PING][PATCH] doc: Correct `--enable-version-specific-runtime-libs' support information

[Joseph Myers]

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
joseph@codesourcery.com