Skip to content

Fix a comment#57062

Merged
bors merged 1 commit into
rust-lang:masterfrom
bjorn3:patch-1
Dec 24, 2018
Merged

Fix a comment#57062
bors merged 1 commit into
rust-lang:masterfrom
bjorn3:patch-1

Fix a comment

6dd0d2d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs