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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:9daf230c71e8f07d73a4dca54e0471cf0a66fbc8

commit 9daf230c71e8f07d73a4dca54e0471cf0a66fbc8
Merge: ae7e84e1ddfc 47ed8d60a6be
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon Jan 5 21:47:02 2026 -0500

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

Diff: