executor: fix data race in `GetDirtyTable()` (#12767)#12902

Merged

sre-bot merged 2 commits intopingcap:release-3.1from lzmhhh123:release-3.1-cherry-pick-12767

Oct 30, 2019

+10-2

Commits on Oct 23, 2019

executor: fix data race in GetDirtyTable() (pingcap#12767 )
lzmhhh123
committed

Commits on Oct 30, 2019

Merge branch 'release-3.1' into release-3.1-cherry-pick-12767
sre-bot
authored