Skip to content

Do not lint ignored private doc tests#76642

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:ignored-private-doc-test
Sep 16, 2020
Merged

Do not lint ignored private doc tests#76642
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:ignored-private-doc-test

Commits