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

[Michael Meissner]

https://gcc.gnu.org/g:4a40093c0f12bb28a553d98bb5414d11e0d8c0d6

commit 4a40093c0f12bb28a553d98bb5414d11e0d8c0d6
Merge: c2e20e51180 b54ba268ecb
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Fri Oct 7 11:41:18 2022 -0400

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

Diff: