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

[Michael Meissner]

https://gcc.gnu.org/g:7b8838e28fe0a8c9ec3ebf9ed4d6226327254dc4

commit 7b8838e28fe0a8c9ec3ebf9ed4d6226327254dc4
Merge: f0ad6c95dd15 08bc07c61a7b
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Mon Dec 8 14:27:29 2025 -0500

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

Diff: