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

[Michael Meissner via Gcc-cvs]

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

commit b52e055235d72d54282dc21e1e85109e9b35f4c0
Merge: 3b2530fbefde 10c509c412fb
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Tue Nov 11 14:26:02 2025 -0500

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

Diff: