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

[Michael Meissner]

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

commit dce6bd2b51df9abbc616de8225ce0417d50261b6
Merge: a6b128fc523 31a928d821b
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Thu Sep 28 13:24:19 2023 -0400

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

Diff: