[gcc/devel/rust/master] Merge commit 'f0b1cf01782ba975cfda32800c91076df78058d6' into HEAD [#2857]

https://gcc.gnu.org/g:31fed215c24705ff8a471d9d3662b3afd1faa932 commit 31fed215c24705ff8a471d9d3662b3afd1faa932 Merge: 9575360bad47 f0b1cf01782b Author: Thomas Schwinge Date: Wed Apr 10 11:02:28 2024 +0200 Merge commit 'f0b1cf01782ba975cfda32800c91076df78058d6' into HEAD [#2857] Diff:

[gcc/devel/rust/master] Merge commit 'f0b1cf01782ba975cfda32800c91076df78058d6^' into HEAD

https://gcc.gnu.org/g:9575360bad470025b131fa74fdc11ac28409cb9c commit 9575360bad470025b131fa74fdc11ac28409cb9c Merge: 1cae91f78a00 5329b9418820 Author: Thomas Schwinge Date: Wed Apr 10 11:01:28 2024 +0200 Merge commit 'f0b1cf01782ba975cfda32800c91076df78058d6^' into HEAD Diff: