Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

executor: fix the behavior when index join meet prefix index (#11081) #11246

Merged
merged 5 commits into from
Jul 16, 2019

Conversation

winoros
Copy link
Member

@winoros winoros commented Jul 15, 2019

What problem does this PR solve?

cherry-pick #11081

Copy link

@imtbkcat imtbkcat left a comment

Choose a reason for hiding this comment

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

LGTM

@winoros
Copy link
Member Author

winoros commented Jul 15, 2019

/rebuild

@zz-jason zz-jason added the priority/release-blocker This issue blocks a release. Please solve it ASAP. label Jul 15, 2019
Copy link
Member

@zz-jason zz-jason 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 added the status/LGT2 Indicates that a PR has LGTM 2. label Jul 15, 2019
@zz-jason
Copy link
Member

/run-all-tests

@zz-jason
Copy link
Member

/run-check_dev_2

@winoros
Copy link
Member Author

winoros commented Jul 16, 2019

/rebuild

@zz-jason zz-jason merged commit eb47516 into pingcap:release-3.0 Jul 16, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
priority/release-blocker This issue blocks a release. Please solve it ASAP. status/LGT2 Indicates that a PR has LGTM 2. type/bugfix This PR fixes a bug.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants