Skip to content

Conversation

@keertip
Copy link
Contributor

@keertip keertip commented Mar 31, 2017

No description provided.

@keertip keertip requested a review from grouma March 31, 2017 16:06
@keertip
Copy link
Contributor Author

keertip commented Mar 31, 2017

Gary, would like to get a version published so that this can be pulled into google3. So should I add an entry to CHANGELOG?

@keertip keertip merged commit 332d12f into master Mar 31, 2017
@kevmoo kevmoo deleted the typeinfo branch April 2, 2017 22:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants