Skip to content

Remove #[allow(unused_lifetimes)] which is now unnecessary#86387

Merged
bors merged 1 commit intorust-lang:masterfrom
JohnTitor:now-no-unused-lifetimes
Jun 22, 2021
Merged

Remove `#[allow(unused_lifetimes)]` which is now unnecessary#86387
bors merged 1 commit intorust-lang:masterfrom
JohnTitor:now-no-unused-lifetimes

Commits

Commits on Jun 16, 2021