Skip to content

Do not collect tokens for doc comments#78782

Merged
bors merged 1 commit intorust-lang:masterfrom petrochenkov:nodoctokNov 12, 2020

Commits

Commits on Nov 8, 2020