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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:64ca0d6ed64fee9cda61fa0238ef7d1f83bfc1b5

commit 64ca0d6ed64fee9cda61fa0238ef7d1f83bfc1b5
Merge: f5d82c2d7734 3a72a764a253
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon Dec 15 17:59:01 2025 -0500

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

Diff: