Skip to content
This repository has been archived by the owner on Jul 26, 2023. It is now read-only.

update opencensus #11

Merged
merged 1 commit into from
Jun 14, 2019
Merged

update opencensus #11

merged 1 commit into from
Jun 14, 2019

Conversation

kyessenov
Copy link
Contributor

Signed-off-by: Kuat Yessenov [email protected]

Signed-off-by: Kuat Yessenov <[email protected]>
@douglas-reid
Copy link
Contributor

@geeknoid help merging?

@kyessenov
Copy link
Contributor Author

Copy link
Contributor

@geeknoid geeknoid left a comment

Choose a reason for hiding this comment

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

/lgtm
/approve

@kyessenov
Copy link
Contributor Author

@geeknoid there is no CI here. Can you merge manually?

@geeknoid geeknoid merged commit e88dc8b into istio:master Jun 14, 2019
@kyessenov kyessenov deleted the update_opencensus branch June 14, 2019 21:04
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