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

[Michael Meissner via Gcc-cvs]

https://gcc.gnu.org/g:198cde4fab162bbf41559c2c6081fcfe4e99bf59

commit 198cde4fab162bbf41559c2c6081fcfe4e99bf59
Merge: f38c787745b6 5066e913a779
Author: Michael Meissner <meiss...@linux.ibm.com>
Date:   Mon Jul 21 23:41:48 2025 -0400

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

Diff: