Skip to content

Update lint deprecation for tool lints#4363

Merged
bors merged 5 commits intorust-lang:masterfrom
phansch:fix_lint_deprecation
Aug 14, 2019
Merged

Update lint deprecation for tool lints#4363
bors merged 5 commits intorust-lang:masterfrom
phansch:fix_lint_deprecation

Commits

Commits on Aug 12, 2019