Skip to content

rustdoc: skip #[allow(missing docs)] for docs in coverage report#76196

Merged
bors merged 5 commits intorust-lang:masterfrom
r-52:r-coverage-allow-missing-docs
Oct 13, 2020
Merged

rustdoc: skip #[allow(missing docs)] for docs in coverage report#76196
bors merged 5 commits intorust-lang:masterfrom
r-52:r-coverage-allow-missing-docs

Commits

Commits on Oct 12, 2020