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

[Michael Meissner]

https://gcc.gnu.org/g:8f23df7928c47944046ee5e47a78a7d49d321bc1

commit 8f23df7928c47944046ee5e47a78a7d49d321bc1
Merge: 0024c04ede1 35e120ae407
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Thu Mar 23 19:25:12 2023 -0400

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

Diff: