Skip to content

Conversation

jackysp
Copy link
Member

@jackysp jackysp commented Oct 25, 2018

What problem does this PR solve?

Cherry-pick #7987 to release 2.1.

@jackysp jackysp added type/enhancement The issue or PR belongs to an enhancement. type/2.1 cherry-pick labels Oct 25, 2018
@shenli
Copy link
Member

shenli commented Oct 26, 2018

LGTM

@shenli shenli added the status/LGT1 Indicates that a PR has LGTM 1. label Oct 26, 2018
Copy link
Member

@winoros winoros left a comment

Choose a reason for hiding this comment

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

lgtm

@zz-jason zz-jason merged commit 5707a9b into pingcap:release-2.1 Oct 26, 2018
@jackysp jackysp deleted the exec_log_2.1 branch November 27, 2018 06:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status/LGT1 Indicates that a PR has LGTM 1. type/enhancement The issue or PR belongs to an enhancement.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants