Closed flip1995 closed 3 years ago
cc https://github.com/rust-lang/team/pull/611
ping @Mark-Simulacrum. rust-lang/team#611 got merged. Can you merge this PR too, please?
cc https://github.com/rust-lang/team/pull/611