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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:f5817ee01492da3928dabe7a338b0fa070ba7619

commit f5817ee01492da3928dabe7a338b0fa070ba7619
Merge: f3a6b3866ffb 07e5a3f412b4
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Thu Aug 28 17:07:01 2025 -0400

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

Diff: