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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:80a4a5d523160ab0e2a7d87b7303d9a86fcb3a9c

commit 80a4a5d523160ab0e2a7d87b7303d9a86fcb3a9c
Merge: f658b92193c4 ee1a0464ddb8
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Thu Aug 28 16:54:22 2025 -0400

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

Diff: