Skip to content

More Rust 2018 edition cleanups#6422

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