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

[Martin Liska]

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

commit ae29e58bf3f7a1a1a4c2ceb35e50cd03f7124489
Merge: 1775bce3a2c 9b239c9147b
Author: Martin Liska <mliska@suse.cz>
Date:   Mon Jun 14 16:05:30 2021 +0200

    Merge branch 'master' into devel/sphinx

Diff:

 gcc/doc/invoke.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)