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

Update dm/dm-faq.md

260ac15
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check
succeeded Jun 12, 2026 in 22s