Skip to content
This repository was archived by the owner on Jan 28, 2021. It is now read-only.

Conversation

@erizocosmico
Copy link
Contributor

@erizocosmico erizocosmico commented Oct 24, 2018

Closes #490

@erizocosmico erizocosmico requested a review from a team October 24, 2018 14:33
@ajnavarro ajnavarro merged commit 8831015 into src-d:master Oct 25, 2018
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