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

Release 2020.11.03 #788

Closed
wants to merge 2 commits into from
Closed

Conversation

HunDunDM
Copy link
Contributor

@HunDunDM HunDunDM commented Nov 3, 2020

…nch (pingcap#787)

Signed-off-by: Zheng Xiangsheng <hundundm@gmail.com>
Signed-off-by: Zheng Xiangsheng <hundundm@gmail.com>
@breezewish
Copy link
Member

This PR failed intentionally. Leave it open until next release.

@breezewish breezewish added the status/DNM Do not merge label Nov 3, 2020
@breezewish breezewish added this to the 4.0.9 milestone Nov 24, 2020
@breezewish
Copy link
Member

Included in #818

@breezewish breezewish closed this Nov 26, 2020
@HunDunDM HunDunDM deleted the release-20201103 branch November 26, 2020 11:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status/DNM Do not merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants