Fold list of merged pull requests#6407

Kobzol wants to merge 1 commit intorust-lang:masterrust-lang/this-week-in-rust:masterfrom

Kobzol:fold-prsKobzol/this-week-in-rust:fold-prsCopy head branch name to clipboard