[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:dbdd0faf6e303af60248237f7862f592e06d94f8

commit dbdd0faf6e303af60248237f7862f592e06d94f8
Merge: de3757ac1d4 6b4488e1a7c
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Tue Oct 10 19:34:29 2023 -0400

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

Diff: