Skip to content

core: rm unused lifetime.#20837

Merged
bors merged 1 commit intorust-lang:masterfrom
huonw:remove-unused-lifetime
Jan 10, 2015
Merged

core: rm unused lifetime.#20837
bors merged 1 commit intorust-lang:masterfrom
huonw:remove-unused-lifetime

Commits

Commits on Jan 10, 2015