Skip to content

Conversation

@deinok
Copy link
Member

@deinok deinok commented Sep 13, 2018

Closes #62

Raul Hidalgo Caballero added 2 commits September 13, 2018 11:29
@deinok deinok merged commit d379d85 into master Sep 13, 2018
@deinok deinok deleted the issue-#62 branch September 13, 2018 09:35
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