Skip to content

Report lint names in json diagnostics#45484

Merged
bors merged 2 commits intorust-lang:masterfrom
oli-obk:lint_names
Nov 3, 2017

Commits

Commits on Nov 2, 2017