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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:738b1e3f60f59291f8354dd89d67a9c6603f91ab

commit 738b1e3f60f59291f8354dd89d67a9c6603f91ab
Merge: b37bf16b0474 6ef9706c7631
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Sun Sep 21 22:16:43 2025 -0400

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

Diff: