Skip to content

Conversation

@zurk
Copy link
Contributor

@zurk zurk commented Jul 4, 2018

To be merged after src-d/ml#284

Signed-off-by: konstantin <[email protected]>
zurk added 2 commits August 28, 2018 12:59
Signed-off-by: konstantin <[email protected]>
Signed-off-by: konstantin <[email protected]>
@zurk
Copy link
Contributor Author

zurk commented Aug 28, 2018

@vmarkovtsev please take a brief look.
I update a requirements and it should be merged after src-d/ml#310

@zurk zurk mentioned this pull request Aug 31, 2018
@vmarkovtsev vmarkovtsev merged commit 525000e into src-d:master Sep 4, 2018
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