[gcc(refs/users/meissner/heads/work134-vsize)] Merge commit 'refs/users/meissner/heads/work134-vsize' of git+ssh://gcc.gnu.org/git/gcc into me/work

[Michael Meissner]

https://gcc.gnu.org/g:7e682233224fc38b6e94ef6cc1bd51e272ee7001

commit 7e682233224fc38b6e94ef6cc1bd51e272ee7001
Merge: 1a0d08acb7f 3bd65adfbb9
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Fri Sep 15 13:48:48 2023 -0400

    Merge commit 'refs/users/meissner/heads/work134-vsize' of git+ssh://gcc.gnu.org/git/gcc into me/work134-vsize

Diff: