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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:6f76f5b29d1a6543df721f76f7adfc5f15554335

commit 6f76f5b29d1a6543df721f76f7adfc5f15554335
Merge: 87a62b4b0516 7b39f3115b5d
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Thu Feb 12 22:43:58 2026 -0500

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

Diff: