Skip to content

Conversation

@emazzotta
Copy link

Related Issue: #90

@emazzotta emazzotta mentioned this pull request Apr 22, 2018
@emazzotta
Copy link
Author

Hi @ptarjan! Do you intend to merge this? If so, you can close this one too, since it's the same: #100

@emazzotta emazzotta closed this Sep 17, 2018
@emazzotta emazzotta deleted the patch-1 branch September 17, 2018 07:47
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