Skip to content

More Rust 2018 edition cleanups#6422

Merged
bors merged 2 commits intorust-lang:masterfrom
dwijnand:more-rust-2018
Dec 13, 2018
Merged

More Rust 2018 edition cleanups#6422
bors merged 2 commits intorust-lang:masterfrom
dwijnand:more-rust-2018

Commits

Commits on Dec 13, 2018