[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:0ebf6d039319474d911868b37c592c44b8a86cbd

commit 0ebf6d039319474d911868b37c592c44b8a86cbd
Merge: 589baf607f8 d945334f833
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Fri Jun 23 08:41:36 2023 -0400

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

Diff: