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

[Michael Meissner]

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

commit d9eb69f986c250b32d7f86174844e9e3c1ad3353
Merge: fe9da86e084 8d80ff424c0
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Thu Oct 5 17:45:42 2023 -0400

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

Diff: