Minor cosmetic improvements to accompany PR 61825#61854
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 15, 2019
Merged
Minor cosmetic improvements to accompany PR 61825#61854bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom