Skip to content

avoid duplicate name setting#989

Merged
xuwei-k merged 1 commit intodevelopfrom
duplicate-name
Sep 6, 2025
Merged

avoid duplicate name setting#989
xuwei-k merged 1 commit intodevelopfrom
duplicate-name

Conversation

@xuwei-k
Copy link
Copy Markdown
Member

@xuwei-k xuwei-k commented Sep 6, 2025

@xuwei-k xuwei-k marked this pull request as ready for review September 6, 2025 22:54
@xuwei-k xuwei-k requested a review from eed3si9n as a code owner September 6, 2025 22:54
@xuwei-k xuwei-k merged commit 1c737a5 into develop Sep 6, 2025
8 checks passed
@xuwei-k xuwei-k deleted the duplicate-name branch September 6, 2025 22:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant