Skip to content

Use InternedString rather than Name for RegionParameterDef#49913

Merged
bors merged 1 commit intorust-lang:masterfrom varkor:RegionParameterDef-InternedStringApr 14, 2018
+21-21

Commits

Commits on Apr 13, 2018