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

[Michael Meissner]

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

commit b8c2c7324b7d3427848d369b45d28f07711942fa
Merge: 3d94a825c8b9 78a28df9cd82
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Mon Dec 15 18:05:33 2025 -0500

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

Diff: