ebnf set names (#17091)#17240

ti-chi-bot[bot] merged 1 commit into

pingcap:release-8.0pingcap/docs:release-8.0from

ti-chi-bot:cherry-pick-17091-to-release-8.0ti-chi-bot/docs:cherry-pick-17091-to-release-8.0Copy head branch name to clipboard