Skip to content
This repository was archived by the owner on Sep 11, 2020. It is now read-only.

Conversation

quasilyte
Copy link
Contributor

Fixes #1035

@smola
Copy link
Collaborator

smola commented Dec 12, 2018

@quasilyte could you sign-off your commit? (more info) Thanks!

@quasilyte
Copy link
Contributor Author

No problems. Done. :)

@mcuadros mcuadros merged commit 791aea3 into src-d:master Dec 12, 2018
@quasilyte quasilyte deleted the patch-1 branch December 12, 2018 10:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants