Skip to content

Warn about unknown doc attributes#82662

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:doc-attr-check
Mar 2, 2021
Merged

Warn about unknown doc attributes#82662
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:doc-attr-check

Commits

Commits on Mar 1, 2021