Remove a workaround for a bug#122186

bjorn3 wants to merge 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

bjorn3:remove_bug_workaroundbjorn3/rust:remove_bug_workaroundCopy head branch name to clipboard