planner: add warning when use_index_merge hint's index names are invalid (#15960)#16036

Merged

zz-jason merged 1 commit intopingcap:release-4.0from sre-bot:release-4.0-f572c8efc542

Apr 3, 2020

+61-4

Commits on Apr 3, 2020

planner: add warning when use_index_merge hint's index names are invalid (pingcap#15960 )

francis0407
authored and
sre-bot
committed