Skip to content

Remove the unused obsolete enum_discrim type.#10677

Merged
bors merged 1 commit intorust-lang:masterfrom
jld:type-enum-discrim-rm
Nov 27, 2013

Commits

Commits on Nov 26, 2013