Skip to content

Feature gate non-ASCII lifetime identifiers#19073

Merged
bors merged 1 commit intomasterfrom
unknown repository
Nov 20, 2014
Merged

Feature gate non-ASCII lifetime identifiers#19073
bors merged 1 commit intomasterfrom
unknown repository

Commits

Commits on Nov 18, 2014