Skip to content

Indent a note to make folding work nicer#76309

Merged
bors merged 1 commit intorust-lang:masterfrom
tesuji:indent-note
Sep 7, 2020
Merged

Indent a note to make folding work nicer#76309
bors merged 1 commit intorust-lang:masterfrom
tesuji:indent-note

Commits

Commits on Sep 5, 2020