Skip to content

note individual lint name in messages set via lint group attribute#38103

Merged
bors merged 4 commits intorust-lang:masterfrom
zackmdavis:lint_errors_resulting_from_lint_groups_or_warnings_meta-lint_obscure_the_original_lint_name
Feb 5, 2017

Commits

Commits on Feb 4, 2017