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

use goproxy #795

Merged
merged 1 commit into from
Aug 9, 2019
Merged

use goproxy #795

merged 1 commit into from
Aug 9, 2019

Conversation

erizocosmico
Copy link
Contributor

Signed-off-by: Miguel Molina [email protected]

Signed-off-by: Miguel Molina <[email protected]>
@erizocosmico erizocosmico requested a review from a team August 6, 2019 14:05
@ajnavarro ajnavarro requested a review from a team August 8, 2019 14:49
@ajnavarro ajnavarro merged commit 875590d into src-d:master Aug 9, 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.

3 participants