Use the first paragraph, instead of cookie-cutter text, for rustdoc descriptions#82351
Merged
bors merged 8 commits intorust-lang:masterfrom Feb 22, 2021
Commits
Commits on Feb 20, 2021
Commits on Feb 21, 2021
- committed
- committed
- committed
- committed
