Fix mis-capitalization of type name.#844
Merged
ehuss merged 1 commit intorust-lang:masterfrom Jul 2, 2020
mkantor:patch-1
Merged
Fix mis-capitalization of type name.#844ehuss merged 1 commit intorust-lang:masterfrom mkantor:patch-1
ehuss merged 1 commit intorust-lang:masterfrom
mkantor:patch-1
