Skip to content

Add label to lint for lifetimes used once#51697

Merged
bors merged 1 commit intorust-lang:masterfrom
estebank:once-used-lifetime-label
Jun 23, 2018
Merged

Add label to lint for lifetimes used once#51697
bors merged 1 commit intorust-lang:masterfrom
estebank:once-used-lifetime-label

Commits

Commits on Jun 22, 2018