planner: rename keep_order hint to order_index hint for mysql compatibility#40945
Merged
ti-chi-bot merged 12 commits intopingcap:masterfrom Reminiscent:renameKeepOrder2OrderIndexFeb 1, 2023
+179-179
Commits
Commits on Feb 1, 2023
- committed
- committed
- authored
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored