Skip to content

Add support for Rust edition 2018 in playpens#1086

Merged
Dylan-DPC-zz merged 5 commits intorust-lang:masterfrom GabrielMajeri:playpen-edition-2018Nov 11, 2019

Commits

Commits on Nov 3, 2019

Commits on Nov 11, 2019