Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

remove some names of the context packages #56107

Closed
lcwangchao opened this issue Sep 18, 2024 · 0 comments · Fixed by #56108
Closed

remove some names of the context packages #56107

lcwangchao opened this issue Sep 18, 2024 · 0 comments · Fixed by #56108
Labels
type/enhancement The issue or PR belongs to an enhancement.

Comments

@lcwangchao
Copy link
Collaborator

Enhancement

@lcwangchao lcwangchao added the type/enhancement The issue or PR belongs to an enhancement. label Sep 18, 2024
@ti-chi-bot ti-chi-bot bot closed this as completed in 68fdf55 Sep 19, 2024
winoros pushed a commit to winoros/tidb that referenced this issue Sep 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type/enhancement The issue or PR belongs to an enhancement.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant