Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #132145 - RalfJung:stdarch, r=Amanieu
bump stdarch This lets us remove a hack from https://github.com/rust-lang/rust/pull/131349. r? `@Amanieu` try-job: test-various
bors 2024-10-28
parent 1a7657b · parent c1cba5b · commit aecc3e7
0 files changed, 0 insertions, 0 deletions