issue has since been fixed#115558

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

tshepang:patch-4tshepang/rust:patch-4Copy head branch name to clipboard