Skip to content

Fix Dumpling capitalization: product name should be capitalized (#21713)#21720

Open
ti-chi-bot wants to merge 1 commit into
pingcap:masterfrom
ti-chi-bot:cherry-pick-21713-to-master
Open

Fix Dumpling capitalization: product name should be capitalized (#21713)#21720
ti-chi-bot wants to merge 1 commit into
pingcap:masterfrom
ti-chi-bot:cherry-pick-21713-to-master

Fix Dumpling capitalization: product name should be capitalized (#21713)

d29c92f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check
succeeded Jun 16, 2026 in 15s