Second attempt to fix #23713 based on follow-up comments in #23791.#23862

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

jviereck:fix_23713_v2jviereck/rust:fix_23713_v2Copy head branch name to clipboard