Skip to content

Fix some formatting for some strings.#7129

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:string-reformat
Jul 14, 2019
Merged

Fix some formatting for some strings.#7129
bors merged 1 commit intorust-lang:masterfrom
ehuss:string-reformat

Commits

Commits on Jul 13, 2019