Skip to content

Fix tool name capitalization for product names to prevent mistranslation#23043

Open
yahonda wants to merge 4 commits into
pingcap:release-8.5from
yahonda:topic/fix-tool-names-capitalization-release-8.5
Open

Fix tool name capitalization for product names to prevent mistranslation#23043
yahonda wants to merge 4 commits into
pingcap:release-8.5from
yahonda:topic/fix-tool-names-capitalization-release-8.5

Commits

Commits on Jun 12, 2026