Skip to content

More diagnostic items for Clippy usage#71414

Merged
bors merged 1 commit intorust-lang:masterfrom
phansch:more-diagnostic-items
Apr 22, 2020
Merged

More diagnostic items for Clippy usage#71414
bors merged 1 commit intorust-lang:masterfrom
phansch:more-diagnostic-items

Commits

Commits on Apr 22, 2020