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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:5839e1a30b3764c0d7892865ee9b85881cede6bd

commit 5839e1a30b3764c0d7892865ee9b85881cede6bd
Merge: c3c3a2942d82 12f1b4638f33
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon May 19 16:33:25 2025 -0400

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

Diff: