Skip to content

fix for auto-cherry-pick #648#656

Merged
overvenus merged 1 commit intopingcap:release-3.1from
glorv:fix-pr-648
Jul 29, 2020
Merged

fix for auto-cherry-pick #648#656
overvenus merged 1 commit intopingcap:release-3.1from
glorv:fix-pr-648

Conversation

@glorv
Copy link
Contributor

@glorv glorv commented Jul 24, 2020

Add missing changes in #648. Seems branch release-3.1 is different for release-4.0 and master. And The tests for release-3.1 does check if there are any change after make build

@overvenus overvenus merged commit a782072 into pingcap:release-3.1 Jul 29, 2020
@glorv glorv deleted the fix-pr-648 branch March 12, 2024 07:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants