Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented May 30, 2017

to merge official, this patch is needed.

@krmbn0576 krmbn0576 merged commit 20c8119 into master Jun 7, 2017
@krmbn0576 krmbn0576 deleted the for-official branch June 11, 2017 12:10
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.

1 participant