[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:76efdba03caee816fc041cb24b100789f0e5edad

commit 76efdba03caee816fc041cb24b100789f0e5edad
Merge: f70b60f832b5 02051f3430ba
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Mon Jan 5 22:30:49 2026 -0500

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

Diff: