Skip to content

Support alt-registry names in [patch] table.#6456

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:patch-alt-reg
Dec 18, 2018
Merged

Support alt-registry names in [patch] table.#6456
bors merged 1 commit intorust-lang:masterfrom
ehuss:patch-alt-reg

Commits

Commits on Dec 18, 2018