Skip to content

Fix Dumpling capitalization: product name should be capitalized#23042

Open
yahonda wants to merge 3 commits into
pingcap:release-8.5from
yahonda:topic/fix-dumpling-capitalization-release-8.5
Open

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

Commits

Commits on Jun 11, 2026

Commits on Jun 12, 2026