Skip to content

Remove ungrammatical dots from the error index.#32447

Merged
bors merged 1 commit intorust-lang:masterfrom
nodakai:dots-in-err-idx
Mar 26, 2016
Merged

Remove ungrammatical dots from the error index.#32447
bors merged 1 commit intorust-lang:masterfrom
nodakai:dots-in-err-idx

Commits

Commits on Mar 23, 2016