Skip to content

Minor fixes to comments#72214

Merged
bors merged 1 commit into
rust-lang:masterfrom
JOE1994:nitpicky
May 15, 2020
Merged

Minor fixes to comments#72214
bors merged 1 commit into
rust-lang:masterfrom
JOE1994:nitpicky

Minor fixes to comments

c919a6e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs