Skip to content

Conversation

1ucian0
Copy link
Member

@1ucian0 1ucian0 commented Dec 4, 2017

Test for the bug in #172

@diego-plan9
Copy link
Member

Thanks Luciano! I have moved the test to #171, in order to make handling it easier, along with some linting/style changes.

@diego-plan9 diego-plan9 closed this Dec 5, 2017
@diego-plan9 diego-plan9 mentioned this pull request Dec 5, 2017
9 tasks
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