Skip to content

Conversation

@i110
Copy link
Contributor

@i110 i110 commented Jun 30, 2017

#1330 is merged but wasn't toward to master, sorry

@kazuho
Copy link
Member

kazuho commented Jun 30, 2017

Ah! Sorry I didn't notice that. merging this PR to master.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants