Skip to content

"avoid" is a better word here than "disable"#44569

Merged
bors merged 1 commit intorust-lang:masterfrom
est31:master
Sep 15, 2017

Commits

Commits on Sep 14, 2017