Skip to content

add a lint group for lints emitted by rustdoc#56689

Merged
bors merged 2 commits intorust-lang:masterfrom
QuietMisdreavus:rustdoc-lint-group
Dec 19, 2018
Merged

add a lint group for lints emitted by rustdoc#56689
bors merged 2 commits intorust-lang:masterfrom
QuietMisdreavus:rustdoc-lint-group

Commits

Commits on Dec 10, 2018