Rollup of 9 pull requests#142020

Closed

matthiaskrgr wants to merge 26 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-8g1r496

Annotations

2 warnings

The logs for this run have expired and are no longer available.