Skip to content

Conversation

@VeraZab
Copy link
Contributor

@VeraZab VeraZab commented Jul 30, 2018

Closes #614

@nicolaskruchten
Copy link
Contributor

This is meant to close #614 right?

@VeraZab
Copy link
Contributor Author

VeraZab commented Jul 30, 2018

yes

@nicolaskruchten
Copy link
Contributor

💃

@VeraZab VeraZab merged commit 777e875 into master Jul 30, 2018
@VeraZab VeraZab deleted the fix-categorical branch August 2, 2018 02:25
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.

3 participants