doc: the first line should be a simple sentence instead of a heading#12228

Merged

bors merged 1 commit intorust-lang:masterfrom weihanglo:doc-style

Jun 4, 2023

+11-9

Commits on Jun 3, 2023

doc: the first line should be a simple sentence instead of a heading
weihanglo
committed