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

[Michael Meissner]

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

commit d51af74d5607859e1bc5c01be84ecbbff54e5424
Merge: 5bca21b61d1 2c8f02532ac
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Thu Oct 12 17:56:17 2023 -0400

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

Diff: