Skip to content

Stabilize Any::get_type_id and rename to type_id#57834

Merged
bors merged 1 commit intorust-lang:masterfrom
SimonSapin:type_id
Jan 24, 2019

Commits

Commits on Jan 22, 2019