Skip to content

Conversation

@djarecka
Copy link
Collaborator

@djarecka djarecka commented Oct 13, 2017

small change based on the discussion in #2192

This does NOT solve the issue (not sure how to reproduce) and it's not the suggested change.

@djarecka djarecka closed this Oct 13, 2017
@satra satra added this to the 0.14.0 milestone Oct 28, 2017
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