Skip to content

A couple of comment fixes. - #63632

Merged
bors merged 2 commits into
rust-lang:masterfrom
vext01:vext01-comment-fixes
Aug 16, 2019
Merged

bors merged 2 commits into
rust-lang:masterfrom
vext01:vext01-comment-fixes

Commits

Commits on Aug 16, 2019