Closed adamgemmell closed 7 months ago
Recently we missed a ping due to this confusion: https://github.com/rust-lang/stdarch/issues/1479
I haven't added any labels since there didn't seem to be any that fit the ping groups exactly.
r? @Amanieu
rustbot has assigned @Amanieu. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.
Use r? to explicitly pick a reviewer
Recently we missed a ping due to this confusion: https://github.com/rust-lang/stdarch/issues/1479
I haven't added any labels since there didn't seem to be any that fit the ping groups exactly.