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
Merged

Report lint names in json diagnostics#45484
bors merged 2 commits intorust-lang:masterfrom
oli-obk:lint_names

Commits

Commits on Nov 2, 2017