Use the traits added to the Rust 2021 Edition prelude#8818
Merged
bors merged 1 commit intorust-lang:masterfrom May 11, 2022
Merged
Use the traits added to the Rust 2021 Edition prelude#8818bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom