Skip to content

Conversation

@huan
Copy link
Member

@huan huan commented Oct 13, 2021

@huan huan added the enhancement New feature or request label Oct 14, 2021
@huan huan marked this pull request as ready for review October 15, 2021 03:06
@huan huan requested a review from a team as a code owner October 15, 2021 03:06
@huan
Copy link
Member Author

huan commented Oct 15, 2021

This PR is expecting not to affect the downstream users.

@huan huan merged commit 9d4a8dd into main Oct 15, 2021
@huan huan deleted the mixin branch October 15, 2021 03:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants