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

[Michael Meissner via Gcc-cvs]

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

commit eaba9a892cbd71c5d10a9dc3c248ac9b81fc5716
Merge: 8f28d18e9b2a 971f03ec0858
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Tue Nov 11 14:24:34 2025 -0500

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

Diff: