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

Merged

sre-bot merged 2 commits into

pingcap:release-3.0from

lzmhhh123:release-3.0-cherry-pick-12767

Oct 30, 2019

Commits on Oct 23, 2019

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

Commits on Oct 30, 2019

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