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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:538f90aa7e6a7752d77bea85b9e97d55b3f980ec

commit 538f90aa7e6a7752d77bea85b9e97d55b3f980ec
Merge: 68033871a546 5c8b0b916cd1
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Tue Nov 11 13:12:29 2025 -0500

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

Diff: