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

[Michael Meissner]

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

commit a26b9fec13158a01a7143e27b25e740ba6b5f4d7
Merge: 8bbf529b2f4f 4524521efd0c
Author: Michael Meissner <meissner@linux.ibm.com>
Date:   Mon Dec 8 18:59:30 2025 -0500

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

Diff: