Skip to content

Stabilize Any::get_type_id and rename to type_id#57834

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

Stabilize Any::get_type_id and rename to type_id#57834
bors merged 1 commit into
rust-lang:masterfrom
SimonSapin:type_id

Stabilize Any::get_type_id and rename to type_id

fb5d3c1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs