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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:1c6987bf97738b55fcc1e72abecd006b8bfeb2bc

commit 1c6987bf97738b55fcc1e72abecd006b8bfeb2bc
Merge: 12b5776242eb e300d52dbcf5
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon May 19 16:35:46 2025 -0400

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

Diff: