[gcc/devel/sphinx] Merge branch 'master' into devel/sphinx

[Martin Liska]

https://gcc.gnu.org/g:c00c06b78418363632ecd769dddde98455cb4182

commit c00c06b78418363632ecd769dddde98455cb4182
Merge: 2c62b5a6884 63eb073efbe
Author: Martin Liska <mliska@suse.cz>
Date:   Wed Dec 22 12:17:42 2021 +0100

    Merge branch 'master' into devel/sphinx

Diff:

 gcc/doc/extend.texi | 134 ++++++++++++++++++++++++++--------------------------
 1 file changed, 67 insertions(+), 67 deletions(-)