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

Commits

Commits on Jun 22, 2018