Backport #140902 to beta#140918

bors merged 1 commit intorust-lang:betarust-lang/rust:betafrom

pietroalbini:pa-backport-140902pietroalbini/rust:pa-backport-140902Copy head branch name to clipboard