Skip to content

Don't warn about old rustdoc lint names (temporarily)#83203

Merged
bors merged 1 commit intorust-lang:masterfrom jyn514:rustdoc-warningsMar 17, 2021

Commits

Commits on Mar 16, 2021