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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:0131061711bd0d5ce2fd5da0894930aeba98c583

commit 0131061711bd0d5ce2fd5da0894930aeba98c583
Merge: 7686aa5eb015 03c58eb8745c
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon May 19 19:23:38 2025 -0400

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

Diff: