*: handle signed/unsigned in the partition pruning (#15436)#17230

Merged

sre-bot merged 4 commits intopingcap:release-4.0from tiancaiamao:cherry-15436-performance

May 20, 2020

+156-73

Commits on May 15, 2020

*: handle signed/unsigned in the partition pruning (pingcap#15436 )
tiancaiamao
committed
Merge branch 'release-4.0' into cherry-15436-performance
tiancaiamao
authored

Commits on May 18, 2020

Merge branch 'release-4.0' into cherry-15436-performance
tiancaiamao
authored

Commits on May 20, 2020

Merge branch 'release-4.0' into cherry-15436-performance
jebter
authored