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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:07da72dce60cda2e83107d6815a1b6c9f4c14a60

commit 07da72dce60cda2e83107d6815a1b6c9f4c14a60
Merge: da860c9375ca cf2d827af863
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon Oct 20 19:47:13 2025 -0400

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

Diff: