ebnf show stats healthy#17072

ti-chi-bot[bot] merged 2 commits into

pingcap:masterpingcap/docs:masterfrom

dveeden:ebnf_show_stats_healthydveeden/docs:ebnf_show_stats_healthyCopy head branch name to clipboard