Skip to content

Show one error for duplicated type definitions#37447

Merged
bors merged 1 commit intorust-lang:masterfrom
estebank:non-duplicate-definition-error
Nov 11, 2016
Merged

Show one error for duplicated type definitions#37447
bors merged 1 commit intorust-lang:masterfrom
estebank:non-duplicate-definition-error

Commits

Commits on Nov 10, 2016