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

[Michael Meissner]

https://gcc.gnu.org/g:2ffb012afd587e85acd7ea23c9b9d74257d55255

commit 2ffb012afd587e85acd7ea23c9b9d74257d55255
Merge: f26c3499fbf 0ebf6d03931
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Fri Jun 23 11:44:36 2023 -0400

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

Diff: