Skip to content

Conversation

ahejlsberg
Copy link
Member

@ahejlsberg ahejlsberg commented Dec 16, 2016

Fixes #12900.

@mhegazy mhegazy merged commit c05b733 into master Dec 19, 2016
@mhegazy mhegazy deleted the mappedTypeStringIndexAny branch December 19, 2016 20:24
@mhegazy mhegazy mentioned this pull request Dec 21, 2016
@microsoft microsoft locked and limited conversation to collaborators Jun 19, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants