Skip to content

Fix Dumpling capitalization: product name should be capitalized#21713

Open
qiancai wants to merge 2 commits into
pingcap:release-8.5from
qiancai:topic/fix-dumpling-capitalization-release-8.5-23042
Open

Fix Dumpling capitalization: product name should be capitalized#21713
qiancai wants to merge 2 commits into
pingcap:release-8.5from
qiancai:topic/fix-dumpling-capitalization-release-8.5-23042

Commits

Commits on Jun 12, 2026