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

[Michael Meissner]

https://gcc.gnu.org/g:02051f3430ba6319b8d04f518c6b7f9a48f85f79

commit 02051f3430ba6319b8d04f518c6b7f9a48f85f79
Merge: 11ab1da708e4 bcd86dfd8f97
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Mon Jan 5 21:52:52 2026 -0500

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

Diff: