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

Fix for non linux OS build #808

Merged
merged 1 commit into from
Aug 21, 2019
Merged

Conversation

juanjux
Copy link
Contributor

@juanjux juanjux commented Aug 21, 2019

Signed-off-by: Juanjo Alvarez [email protected]

Signed-off-by: Juanjo Alvarez <[email protected]>
@juanjux juanjux requested a review from a team August 21, 2019 11:24
Copy link
Contributor

@agarciamontoro agarciamontoro left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@ajnavarro ajnavarro merged commit 0e0249c into src-d:master Aug 21, 2019
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.

4 participants