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

[Michael Meissner]

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

commit e8186f051679d642a8e6375765124b2633e710bd
Merge: ce6fad777b8c dd2f15984e17
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Sat Jun 14 00:27:50 2025 -0400

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

Diff: