Skip to content

Conversation

@ehhc
Copy link
Contributor

@ehhc ehhc commented Apr 21, 2018

No description provided.

@ehhc
Copy link
Contributor Author

ehhc commented Apr 21, 2018

This change is based on the refactoring done in #1852

@kazup01 kazup01 added the awaiting review ❇️ Pull request is awaiting a review. label Apr 22, 2018
@kazup01
Copy link
Member

kazup01 commented Apr 26, 2018

Since this bug is fixed at #1824, I close this pull request. Thank you for your contribution @ehhc !

@kazup01 kazup01 closed this Apr 26, 2018
@kazup01 kazup01 removed the awaiting review ❇️ Pull request is awaiting a review. label Apr 26, 2018
@ehhc ehhc deleted the Issue1822 branch May 24, 2018 06:43
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