Open
Description
PR rust-lang/rust#66431 was merged as part of a rollup. After the merge, bors commented that the PR was 'made unmergeable' due to the rollup PR. This is a pretty useless message, since a merged PR is intrinsically unmergeable.
Metadata
Metadata
Assignees
Labels
No labels