Skip to content

Remove unused lifetimes.#42127

Merged
bors merged 1 commit intorust-lang:masterfrom
clarfonthey:lifetimes
May 21, 2017
Merged

Remove unused lifetimes.#42127
bors merged 1 commit intorust-lang:masterfrom
clarfonthey:lifetimes

Commits

Commits on May 20, 2017