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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:88bed72f166b999d22197caaef1ace02960d0408

commit 88bed72f166b999d22197caaef1ace02960d0408
Merge: 5033082f55b0 17148241a561
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Thu Aug 6 17:15:02 2026 -0400

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

Diff: