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

[Michael Meissner]

https://gcc.gnu.org/g:57459ae069530d532f43654f2c3e2f94bd9836bc

commit 57459ae069530d532f43654f2c3e2f94bd9836bc
Merge: 617ce35b7985 f10999c7fe1e
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Thu May 29 14:55:31 2025 -0400

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

Diff: