Skip to content

Remove needless lifetimes#62019

Merged
bors merged 1 commit intorust-lang:masterfrom
jeremystucki:refactoring
Jun 22, 2019
Merged

Remove needless lifetimes#62019
bors merged 1 commit intorust-lang:masterfrom
jeremystucki:refactoring

Commits

Commits on Jun 21, 2019