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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:00884ad9433853b76e8ab181bb76780eecde22dd

commit 00884ad9433853b76e8ab181bb76780eecde22dd
Merge: 83fa39a68b59 1bddf2c74bf8
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon Dec 8 19:03:43 2025 -0500

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

Diff: