Skip to content

remove lifetimes that can be elided (clippy::needless_lifetimes)#69809

Merged
bors merged 1 commit intorust-lang:masterfrom
matthiaskrgr:lifetimes
Mar 13, 2020
Merged

remove lifetimes that can be elided (clippy::needless_lifetimes)#69809
bors merged 1 commit intorust-lang:masterfrom
matthiaskrgr:lifetimes

Commits

Commits on Mar 12, 2020