Skip to content

Part of #6993: Move a bunch of uses of Ident to Name#17683

Merged
bors merged 1 commit intorust-lang:masterfrom
gereeter:ident-to-name
Oct 23, 2014
Merged

Part of #6993: Move a bunch of uses of Ident to Name#17683
bors merged 1 commit intorust-lang:masterfrom
gereeter:ident-to-name

Commits

Commits on Oct 23, 2014