Skip to content
This repository has been archived by the owner on Jun 24, 2021. It is now read-only.

Update titan metrics #823

Merged
merged 1 commit into from
Jul 12, 2019
Merged

Update titan metrics #823

merged 1 commit into from
Jul 12, 2019

Conversation

liubo0127
Copy link
Contributor

Copy link
Contributor

@superlzs0476 superlzs0476 left a comment

Choose a reason for hiding this comment

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

LGTM

@liubo0127 liubo0127 merged commit 88ed749 into pingcap:master Jul 12, 2019
@liubo0127 liubo0127 deleted the liubo/update-metric branch July 12, 2019 08:37
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.

2 participants