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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:3f14f63387be98e65c5d6c2db6cb0c8bac6fc842

commit 3f14f63387be98e65c5d6c2db6cb0c8bac6fc842
Merge: 100d1b0d00e8 44db7098444e
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Thu Nov 6 19:38:12 2025 -0500

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

Diff: