brson mentioned this pull request

Merged

brson removed the beta-nominated

label

eddyb added a commit to eddyb/rust that referenced this pull request

eddyb added a commit to eddyb/rust that referenced this pull request

bors added a commit that referenced this pull request

Rollup of 30 pull requests
- Successful merges: #37190, #37368, #37481, #37503, #37527, #37535, #37551, #37584, #37600, #37613, #37615, #37659, #37662, #37669, #37682, #37688, #37690, #37692, #37693, #37694, #37695, #37696, #37698, #37699, #37705, #37708, #37709, #37716, #37724, #37727
- Failed merges: #37640, #37689, #37717

Closed