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

[Michael Meissner]

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

commit d446dab3e3858d652bfa3273e401176d01b04146
Merge: 371dff4b847 e645240b178
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Fri Jun 23 08:38:25 2023 -0400

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

Diff: