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) #1240

Merged
merged 1 commit into from
Mar 26, 2020
Merged

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

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 ea7c233 into pingcap:release-3.1 Mar 26, 2020
@reafans reafans deleted the release-3.1 branch March 26, 2020 09:18
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