Skip to content

A few cleanups and minor improvements to rustc/traits#54295

Merged
bors merged 1 commit intorust-lang:masterfrom
ljedrz:cleanups_rustc_traits
Sep 21, 2018

Commits

Commits on Sep 18, 2018