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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:5afaab2ff11d30f05a55b46c8c4d30791f6dceba

commit 5afaab2ff11d30f05a55b46c8c4d30791f6dceba
Merge: 00189d6a5113 c63ea23efd42
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Sun Sep 21 22:15:32 2025 -0400

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

Diff: