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

[Michael Meissner via Gcc-cvs]

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

commit fe11a13440116c2570326a31c6f80fc0e9383945
Merge: c6259dc1a024 5f4aa02c3b67
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon Oct 20 19:45:54 2025 -0400

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

Diff: