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

[Michael Meissner]

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

commit f769fcfc98e79626779305a5e0d5c838b6526001
Merge: af0ba8c1070e 8f2779e8c76d
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Mon Dec 8 14:26:03 2025 -0500

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

Diff: