Skip to content

Conversation

@dpordomingo
Copy link
Contributor

@dpordomingo dpordomingo commented Jul 19, 2019

caused by src-d/sourced-ce#142

It was logged as warning, but since it does not seem to be
a potentially problem, we can log it as info

It was logged as warning, but since it does not seem to be
a potentially problem, we can log it as info

Signed-off-by: David Pordomingo <[email protected]>
@mcarmonaa mcarmonaa merged commit ee2f1c8 into src-d:master Jul 19, 2019
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