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

[Michael Meissner via Gcc-cvs]

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

commit ec0e0d9dadee8eee03265fd8dd3bcb4813d3fc67
Merge: 88cb7e0844a9 f4c3732ff2ad
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Fri Jul 24 19:29:49 2026 -0400

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

Diff: