Skip to content

Remove unneeded trait implementations titles#49335

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-unneeded-trait-implementations-title
Apr 6, 2018
Merged

Remove unneeded trait implementations titles#49335
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-unneeded-trait-implementations-title

Commits

Commits on Mar 29, 2018