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

config, roles: add config of server-version (#1231) #1241

Merged
merged 1 commit into from
Mar 26, 2020
Merged

config, roles: add config of server-version (#1231) #1241

merged 1 commit into from
Mar 26, 2020

Conversation

reafans
Copy link
Contributor

@reafans reafans commented Mar 26, 2020

Cherry-pick #1231

Copy link
Contributor

@liubo0127 liubo0127 left a comment

Choose a reason for hiding this comment

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

LGTM

@reafans reafans merged commit 36bd8f5 into pingcap:release-4.0 Mar 26, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants