Skip to content

Add deref suggestion#43870

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:deref-suggestion
Sep 23, 2017
Merged

Add deref suggestion#43870
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:deref-suggestion

Commits

Commits on Sep 21, 2017

Commits on Sep 23, 2017