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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:20fd198c341ff9630837f7dfee2a4458ac96a2cf

commit 20fd198c341ff9630837f7dfee2a4458ac96a2cf
Merge: fddfe0bf8977 f2e49ff53b3a
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon Dec 8 14:24:34 2025 -0500

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

Diff: