Skip to content

Remove irrelevant comment#30729

Merged
bors merged 1 commit intorust-lang:masterfrom
huonw:delete-bad-comment
Jan 7, 2016
Merged

Remove irrelevant comment#30729
bors merged 1 commit intorust-lang:masterfrom
huonw:delete-bad-comment

Commits

Commits on Jan 6, 2016