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

[Michael Meissner]

https://gcc.gnu.org/g:3463f2391a7bb77aad379a4928de05440df5913e

commit 3463f2391a7bb77aad379a4928de05440df5913e
Merge: ce7b6da51fa bcb6f977942
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Thu Oct 12 17:55:06 2023 -0400

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

Diff: