Skip to content

Indent a note to make folding work nicer - #76309

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

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

Indent a note to make folding work nicer

dfd219d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs