Skip to content

Conversation

@liukun4515
Copy link
Contributor

@liukun4515 liukun4515 commented Sep 29, 2018

related pr: #642

@liukun4515
Copy link
Contributor Author

PTAL @disksing

@disksing disksing requested a review from rleungx September 30, 2018 02:50
@disksing
Copy link
Contributor

LGTM.

@liukun4515
Copy link
Contributor Author

PTAL @rleungx

@rleungx rleungx requested a review from lilin90 September 30, 2018 09:59
@disksing disksing merged commit 077ea22 into pingcap:master Sep 30, 2018
@sre-bot sre-bot added the contribution This PR is from a community contributor. label Dec 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

contribution This PR is from a community contributor.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants