Skip to content

Conversation

@dveeden
Copy link
Contributor

@dveeden dveeden commented Oct 20, 2025

What problem does this PR solve?

"Faield" → "Failed"

What is changed and how it works?

Check List

Tests

  • No code

@dveeden
Copy link
Contributor Author

dveeden commented Nov 12, 2025

/cc @xhebox @zimulala @kaaaaaaang

@dveeden
Copy link
Contributor Author

dveeden commented Nov 14, 2025

What else is needed to get this merged?

@kaaaaaaang kaaaaaaang merged commit 20cf0d4 into pingcap:master Nov 21, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants